Liknande böcker

Rough Sets and Current Trends in Computing: Second International Confere...
Bok av Wojciech Ziarko
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
Symbolic and quantitative approaches to reasoning with uncertainty : 6th...
Bok av Salem Benferhat
Fuzzy Logic : mathematical tools for approximate reasoning
Bok av Giangiacomo Gerla
Computer Science Logic : 12th International Workshop, CSL'98, Annual Con...
Bok av Katrin Seyr
Computers and Games : 7th International Conference, CG 2010, Kanazawa, J...
Bok av H. Jaap. Herik
Advances in Computational Intelligence and Learning : Methods and Applic...
Bok av Hans-Jurgen Zimmermann

Automated Deduction in Classical and Non-Classical Logics: Selected Papers

Bok av Ricardo Caferra