Portail Documentaire
A partir de cette page vous pouvez :
| Retourner au premier écran avec les étagères virtuelles... |
| Titre : | Logique Vol.1 : méthodes pour l'informatique fondamentale |
| Auteurs : | Paul Gochet ; Pascal Gribomont ; Edsger Dijkstra, José Meseguer John McCarthy, Préfacier, etc. |
| Type de document : | texte imprimé |
| Editeur : | Paris : Hermès, 1991 |
| Collection : | Langue, raisonnement, calcul, ISSN 0988-0569 |
| ISBN/ISSN/EAN : | 978-2-86601-249-6 |
| Format : | 456 p. / 24 cm |
| Note générale : | Bibliogr. p. 435-446. - index p. 447-456. |
| Mots-clés: | Logique ; informatique fondamentale ; calcul des propositions ; calcul des prédicats ; théorie preuve |
Exemplaires
| Cote | Support | Localisation | Section | Disponibilité | |
|---|---|---|---|---|---|
| 226308 | Livre | Nkolbisson | Bibliothèque Centrale | Disponible |




