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ématiqueCurrent 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 |