

Langage PASCAL et logique du premier ordre. Tome 2 : Récursivité et dérécursification, preuves et complexité d'algorithmes [monographie] |
Auteur(s): | Margenstern, Maurice |
Langue: | français |
Collection: | Logique Mathématiques Informatique, n° 4 |
Editeur, date d'édition: | Masson, 1990 |
Ville(s) d'édition: | Paris (FR), Milan (IT), Barcelone (ES) |
ISBN: | 2-225-81953-X |
ISSN: | 0995-2179 |
Notes: | x ; graph. ; exercices ; bibliogr. pp. 267-270 ; index pp. 271-280 ; 24 cm ; 288 p. |
Thèmes: | decidabilite, logique mathematique, complexite de calcul, pascal, langage de programmation |
Localisation: | Ouvrage localisé fonds informatique - 1ère salle |
Exemplaire(s)
Cote | Retour |
---|---|
77 MAR 90-2 | Disponible |