Documents  Semenov, Alexei | enregistrements trouvés : 1

- 269 p.
ISBN 978-0-7923-2210-8

Mathematics and its applications , 0251

Localisation : Ouvrage RdC (USPE)

Numération de Gödel dans la théorie de la preuve # algorithme non numérique # analyse d'algorithme # applications mathématiques de la théorie des algorithmes # complexité de problème # informatique théorique # machine de Twing # mathématique constructive # théorie algorithmique de l'information

03F40 ; 68Q20 ; 68Q25 ; 68Q30 ; 68Qxx

... Lire [+]