Liknande böcker

Logics in Artificial Intelligence
Bok av Manuel Ojeda-Aciego
Case-Based Reasoning Research and Development: 4th International Confere...
Bok av David W. Aha
Automated Reasoning: First International Joint Conference, IJCAR 2001 Si...
Bok av Tobias Nipkow
Machine Learning and Data Mining in Pattern Recognition : 9th Internatio...
Bok av Petra. Perner
Modeling and Using Context: Second International and Interdisciplinary C...
Bok av Paolo Bouquet
Computer Science Logic: 15th International Workshop, CSL 2001 10th Annua...
Bok av Laurent Fribourg
Computer Science Logic : 12th International Workshop, CSL'98, Annual Con...
Bok av Katrin Seyr
Advances in case-based reasoning : 4th European workshop, EWCBR-98, Dubl...
Bok av Barry Smyth

Automated Reasoning with Analytic Tableaux and Related Methods : International Conference, TABLEAUX 2000 St Andrews, Scotland, UK, July 3-7, 2000 Proceedings

Bok av Roy Dyckhoff