Liknande böcker

Data Warehousing and Knowledge Discovery : 12th International Conference...
Bok av Torben. Bach Pedersen
Automated Reasoning with Analytic Tableaux and Related Methods : Interna...
Bok av Roy Dyckhoff
Machine Learning and Data Mining in Pattern Recognition : 9th Internatio...
Bok av Petra. Perner
Non-Standard Inferences in Description Logics
Bok av Ralf Küsters
Algorithmic Learning Theory : 10th International Conference, ALT '99 Tok...
Bok av Osamu Watanabe
Advances in case-based reasoning : 5th European workshop, EWCBR 2000, Tr...
Bok av Enrico Blanzieri
Problem-Solving Methods: Understanding, Description, Development, and Reuse
Bok av Dieter Fensel
Extraction and Exploitation of Intensional Knowledge from Heterogeneous...
Bok av Domenico Ursino

Automated Deduction CADE-16: 16th International Conference on Automated Deduction Trento, Italy, July 7-10, 1999 Proceedings

Bok av Harald Ganzinger