- 418 p.
Cote : 00027314
théorie des automates # combinatoire # réseau de Petri # démonstration de théorème # langage algébrique # schéma programme # arborescence # fondement des mathématiques # informatique théorique # langage # logique # programmation # théorie constructive # théorie de la preuve
00Bxx ; 68-06 ; 94-06 ; 03-06
Localisation : Collection 1er étage