Titre :	Langage PASCAL et logique du premier ordre : Tome 2, Récursivité et dérécursification, preuves et complexité d'algorithmes
Type de document :	texte imprimé
Auteurs :	Maurice Margenstern, Auteur
Editeur :	Paris : Masson
Année de publication :	1989
Collection :	Logique mathématiques informatique, ISSN 0995-2179 num. 4
Importance :	288 p.
Présentation :	couv. en coul.graph.
Format :	24 cm.
ISBN/ISSN/EAN :	978-2-225-81953-7
Note générale :	Bibliogr. p. 267-270. Index.
Langues :	Français (fre)
Index. décimale :	08-02 Logiciels et programmation

Langage PASCAL et logique du premier ordre : Tome 2, Récursivité et dérécursification, preuves et complexité d'algorithmes [texte imprimé] / Maurice Margenstern, Auteur . - Paris : Masson, 1989 . - 288 p. : couv. en coul.graph. ; 24 cm.. - (Logique mathématiques informatique, ISSN 0995-2179; 4) .
ISBN : 978-2-225-81953-7
Bibliogr. p. 267-270. Index.
Langues : Français (fre)

Index. décimale :

08-02 Logiciels et programmation