Handbook of practical logic and automated reasoning [ Livre] / John, Harrison
Langue: Anglais ; de l'oeuvre originale, Anglais.Publication : Cambridge : Cambridge University Press, 2009Description : 1 vol. (XIX-681 p.) ; 26 cmISBN: 9780521899574.Classification: Sujet - Nom commun: Logique informatique | Théorèmes -- Démonstration automatique | logique mathématique| Current location | Call number | Status | Notes | Date due | Barcode |
|---|---|---|---|---|---|
| ENS Rennes - Bibliothèque Informatique | F 4 1 HAR (Browse shelf) | Checked out | F 4 1 Logique mathématique | 19/03/2019 | 029020 |