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 |