- EAN13
- 9782225819537
- ISBN
- 978-2-225-81953-7
- Éditeur
- Masson
- Date de publication
- 1989
- Séries
- Langage PASCAL et logique du premier ordre . (2)
- Code dewey
- 005.133
- Fiches UNIMARC
- S'identifier
2, Récursivité et dérécursification, preuves et complexité d'algorithmes - Langage PASCAL et logique du premier ordre
De Maurice Margenstern
Masson
Autre livre dans la même série
S'identifier pour envoyer des commentaires.
Autres contributions de...
-
Volume II, Implementation and computations, Cellular automata in hyperbolic spacesMaurice MargensternArchives contemporaines70,00
-
Volume 1, Theory, Cellular automata in hyperbolic spacesMaurice MargensternArchives contemporaines70,00
-
Generating all recursively enumerable languages...Maurice Margenstern, Iouri RogojineGroupe d'informatique fondamentale de Metz, IUT...
-
Cellular automata in the hyperbolic planeMaurice MargensternGroupe d'informatique fondamentale de Metz, IUT...
-
Actes de MCU'98, Metz, 23-27 mars 1998, IUT de Metz, Île du SaulcyColloque international Machines et calculs universelsIUT de Metz