Finite model theory and its applications [ Livre] / Erich, Grädel

Langue: Anglais.Publication : Berlin, Heidelberg : Springer, cop. 2007Description : 1 vol. (XI-437 p.) ; 24 cmISBN: 9783540004288.Collection: Texts in theoretical computer science, An EATCS series, 1862-4499Classification: F 4 1 Logique mathématiqueSujet - Nom commun: Computer Science | Software | Database management | logique mathématique | Programmation | Ordinateurs -- Programmation | Modèles, Théorie des | Logique symbolique et mathématique
Current location Call number Status Notes Date due Barcode
ENS Rennes - Bibliothèque
Informatique
F 4 1 GRA (Browse shelf) Available F 4 1 Logique mathématique 023119

Powered by Koha