Titre :	Langage Pascal et logique du premier ordre Tome 2 : recurcivite et derecursification preuves et complexite d'algorithmes
Type de document :	texte imprime
Auteurs :	Maurice Margenstern
Editeur :	Paris : Masson
Année de publication :	1989
Collection :	Logique mathématiques informatique
Importance :	288 p.
Présentation :	ill.
Format :	24 cm
ISBN/ISSN/EAN :	978-2-225-81953-7
Note générale :	Bibliogr. Index
Langues :	Français
Mots-clés :	Pascal  Logique  Récursivité  Dérécursification  Algorithmes  Complexité
Index. décimale :	005.133 Langages de programmation spécifiques
Permalink :	./index.php?lvl=notice_display&id=11899

Langage Pascal et logique du premier ordre Tome 2 : recurcivite et derecursification preuves et complexite d'algorithmes [texte imprime] / Maurice Margenstern . - Paris : Masson, 1989 . - 288 p. : ill. ; 24 cm. - (Logique mathématiques informatique) .
ISBN : 978-2-225-81953-7
Bibliogr. Index
Langues : Français

Mots-clés :	Pascal  Logique  Récursivité  Dérécursification  Algorithmes  Complexité
Index. décimale :	005.133 Langages de programmation spécifiques
Permalink :	./index.php?lvl=notice_display&id=11899