Vous n'auriez pas dû voir cette page, destinée aux moteurs de recherche. Allez plutôt voir du côté de www.sudoc.abes.fr/DB=2.1/SRCH?IKT=12&TRM=002676494.

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

Date :

Editeur / Publisher : Paris : Masson , DL 1992

Type : Livre / Book

Langue / Language : français / French

ISBN : 2-225-82632-3

Catalogue Worldcat

EAN : 9782225826320

Complexité de calcul (informatique)

Automates mathématiques, Théorie des

Calcul formel

Logique mathématique

Fonctions calculables

Décidabilité (logique mathématique)

Classification Dewey : 670

Collection : Manuels informatiques Masson [Texte imprimé] / Paris : Masson , 1981 -