Introduction à la calculabilité

Introduction à la calculabilité

Saved in:
Bibliographic Details
Main Author : Wolper Pierre (Auteur)
Format : Book
Language : français
Title statement : Introduction à la calculabilité / Pierre Wolper,...
Published : Paris : InterÉd , 1991
Physical Description : 1 vol. (268 p.)
Series : I.I.A. Informatique intelligence artificielle
Subjects :
Décidabilité (logique mathématique)
Calcul formel
Langages formels
Complexité de calcul (informatique)
Fonctions récursives
Théorie des automates mathématiques
Fonctions calculables
Description
Bibliography : Bibliogr. p. 261-262. Index
ISBN : 2-7296-0372-7