m

F Nous contacter

0

Documents  Uspensky, Vladimir | enregistrements trouvés : 1

O
     

-A +A

P Q

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 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 [+]

Z