Gå direkt till innehållet
Complexité et Décidabilité
Spara

Complexité et Décidabilité

Lägsta pris på PriceRunner
Cet ouvrage présente les bases de la théorie de la complexité des algorithmes et en derive les théorèmes fondamentaux de décidabilité et d'indécidabilité pour la logique et l'arithmétique, dont le premier théorème d'incomplétude de Gödel.
Författare
Patrick Dehornoy
Upplaga
1993 ed.
ISBN
9783540568995
Språk
Franska
Vikt
310 gram
Utgivningsdatum
1993-09-10
Sidor
201