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