Computational logic and proof theoryGeorg Gottlob
Computational logic and proof theory
Georg Gottlob · 1993
Where to buy
Check today’s price on Amazon. We do not show prices because they change daily.
View on AmazonAffiliate link. As an Amazon Associate we earn from qualifying purchases.
Book details
- Year
- 1993
- Language
- English
- Publisher
- Springer
- Editions
- 1
- Pages
- 348
- ISBN
- 9783540571841
Data source: Wikidata
More by Georg Gottlob
Big DataGeorg Gottlob
Big Data
Georg Gottlob · 2013
Logic Programming and Nonmonotonic ReasoningGeorg Gottlob
Logic Programming and Nonmonotonic Reasoning
Georg Gottlob · 2022
Expert Systems in Engineering, Principles and Applications - International Workshop ProceedingsGeorg Gottlob
Expert Systems in Engineering, Principles and Applications - International Workshop Proceedings
Georg Gottlob · 1990
Computer Science LogicGeorg Gottlob
Computer Science Logic
Georg Gottlob · 2006
Advances in Databases and Information SystemsGeorg Gottlob
Advances in Databases and Information Systems
Georg Gottlob · 2004
Database theoryGeorg Gottlob
Database theory
Georg Gottlob · 1995