Liknande böcker

Automated Reasoning with Analytic Tableaux and Related Methods : Interna...
Bok av Roy Dyckhoff
Automated Reasoning: First International Joint Conference, IJCAR 2001 Si...
Bok av Tobias Nipkow
Case-based reasoning research and development : Third International Conf...
Bok av Klaus-Dieter Althoff
Machine Learning and Data Mining in Pattern Recognition : 9th Internatio...
Bok av Petra. Perner
Natural Language Processing - NLP 2000 : Second International Conference...
Bok av Dimitris N Christodoulakis
Symbolic and quantitative approaches to reasoning with uncertainty : 6th...
Bok av Salem Benferhat
Case-Based Reasoning Research and Development: 4th International Confere...
Bok av David W. Aha
Flexible Query Answering Systems : 13th International Conference, FQAS 2...
Bok

Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, TABLEAUX 99 Saratoga Springs, NY, USA, June 7-11, 1999 Proceedings

Bok av Neil V. Murray