Handbook of practical logic and automated reasoning [ Livre] / John, Harrison

Auteur principal: Harrison, John, 1966-....Langue: Anglais ; de l'oeuvre originale, Anglais.Publication : Cambridge : Cambridge University Press, 2009Description : 1 vol. (XIX-681 p.) ; 26 cmISBN: 9780521899574.Classification: F 4 1 Logique mathématiqueSujet - 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

Powered by Koha