Calculabilité et décidabilité : une introduction / J.-M. Autebert,...

Date :

Type : Livre / Book

Langue / Language : français / French

ISBN : 2-225-82632-3

EAN : 9782225826320

Complexité de calcul (informatique)

Théorie des automates mathématiques

Calcul formel

Logique mathématique

Fonctions calculables

Décidabilité (logique mathématique)

Classification Dewey : 670

Classification Dewey : 511

Collection : Manuels informatiques Masson / Paris : Masson , 1981 -