Catalogo · 9783540571841
Computational logic and proof theory
ISBN 9783540571841
Descrizione non disponibile per questo libro.
La tua libreria
Accedi per aggiungere questo libro alla tua libreria.
Lettori
Communitas attorno al libro
Letture affini
Big Data
Georg Gottlob
Rule Technologies : Foundations, Tools, and Applications
Nick Bassiliades, Georg Gottlob, Fariba Sadri, Adrian Paschke, Dumitru Roman
Reasoning Web. Semantic Technologies for Intelligent Data Access
Sebastian Rudolph, Georg Gottlob, Ian Horrocks, Frank van Harmelen
Reasoning Web. Semantic Interoperability on the Web
Giovambattista Ianni, Domenico Lembo, Leopoldo Bertossi, Wolfgang Faber, Birte Glimm, Georg Gottlob, Steffen Staab
Logic Programming and Nonmonotonic Reasoning
Georg Gottlob, Daniela Inclezan, Marco Maratea
Expert Systems in Engineering, Principles and Applications - International Workshop Proceedings
Georg Gottlob
Datalog Reloaded
Oege de Moor, Georg Gottlob, Tim Furche
Database theory
Georg Gottlob
Computer Science Logic
Georg Gottlob, Etienne Grandjean, Katrin Seyr
Computational logic and proof theory
Kurt Gödel Colloquium (3rd 1993 Brno, Czech Republic), Georg Gottlob, Alexander Leitsch
Advances in Databases and Information Systems
Georg Gottlob, Andras Benczur, János Demetrovics
Dostoevsky and Kant
Evgenia Cherkasova
Verba volant · scripta manent