Le livre est actuellement en rupture de stock
En savoir plus sur le livre
Finite model theory merges mathematical logic and computer science, focusing on applications in database theory, computational complexity, and formal languages. It began with Trakhtenbrot's 1950 result on finite models' validity and evolved through key contributions from Fagin, Immerman, and Vardi, leading to significant insights in descriptive complexity and relational databases.
Achat du livre
Elements of Finite Model Theory, Leonid Libkin
- Langue
- Année de publication
- 2010
- product-detail.submit-box.info.binding
- (souple)
Nous vous informerons par e-mail dès que nous l’aurons retrouvé.
Modes de paiement
Il manque plus que ton avis ici.