Liknande böcker

Automated Deduction - CADE-15 : 15th International Conference on Automat...
Bok av Helene Kirchner
Inductive Logic Programming : 19th International Conference, ILP 2009, L...
Bok av Luc. Raedt
Case-Based Reasoning Research and Development : 25th International Confe...
Bok av David W Aha
Logic Programming and Nonmonotonic Reasoning
Bok av Ulrich Furbach
Tractable Reasoning in Aritificial Intelligence
Bok av Marco Cadoli
Algorithmic Learning for Knowledge-Based Systems : GOSLER Final Report
Bok av Klaus P Jantke
The Description Logic Handbook
Bok av Franz Baader
Foundations of Information and Knowledge Systems : 10th International Sy...
Bok av Flavio Ferrarotti

7th International Conference on Automated Deduction

Bok