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 |