Langage PASCAL et logique du premier ordre. Tome 1 : Programmation en Pascal, prédicats, systèmes formels, fonctions récursives [monographie] |
| Auteur(s): | Margenstern, Maurice |
| Langue: | français |
| Collection: | Logique Mathématiques Informatique, n° 3 |
| Editeur, date d'édition: | Masson, 1989 |
| Ville(s) d'édition: | Paris (FR) |
| ISBN: | 2-225-81900-9 |
| Notes: | Bibliogr. pp. 279-280 ; index pp. 281-288 ; 24 cm ; 287 p. |
| Thèmes: | logique mathematique, fonctions recursives, calcul des predicats, complexite de calcul, pascal, langage de programmation |
| Localisation: | Ouvrage localisé fonds informatique - 1ère salle |
Exemplaire(s)
| Cote | Retour |
|---|---|
| 77 MAR 89-1 | Disponible |