Georg Gottlob
· 13 obras en el catálogo
Obras

Computational logic and proof theory

Big Data

Database theory

Expertensysteme

Reasoning Web. Semantic Interoperability on the Web

Rule Technologies : Foundations, Tools, and Applications

Datalog Reloaded
Advances in Databases and Information Systems
Computer Science Logic
Reasoning Web. Semantic Technologies for Intelligent Data Access

Logic Programming and Nonmonotonic Reasoning

Computational logic and proof theory
