Calculabilité et décidabilité :

AUTEBERT , J - M

Calculabilité et décidabilité : une introduction / J-M Autebert - Paris : Masson , 1992. - 118 p. 24 cm. - (Manuels Informatiques Masson) 0249-6992 .

Bibliogr. : p. 115 ; Index : pp. (117-118)

2-225-82632-3


SCIENCES EXACTES


LOGIQUE MATHEMATIQUE

© 2008, Bibliothèques de l'Université d'Abomey-Calavi

04 BP 789 Cotonou, Tél. : +229 21 36 01 01, Fax : +229 21 35 06 32

Courriel : bu@bu.uac.bj