| Titre : | Un programme de démonstration de théorèmes |
| Auteurs : | Jacques Pitrat |
| Type de document : | texte imprimé |
| Editeur : | Paris : Dunod, 1970 |
| Collection : | Monographies d'informatique, num. 7 |
| Format : | xii, 120 p. / illus / 24 cm |
| Note générale : | At head of title: Association fran?caise de cybernÐetique Ðeconomique et technique. |
| Index. décimale : | 006.3 |
| Résumé : | At head of title: Association fran?caise de cybernÐetique Ðeconomique et technique. |
| Code-barres | Cote | Support | Localisation | Section | Disponibilité |
|---|---|---|---|---|---|
| 010279 | 006.3 PIT | Livre | Bibliothèque Principale | 800 - Littérature (Belles-Lettres) et techniques d'écriture | Libre accès Disponible |
La bibliothèque de l'École Normale Supérieure (ENS), dédiée à la formation des futurs enseignants, constitue un hub intellectuel au cœur de l'établissement. Elle offre un vaste éventail de ressources éducatives.
