Liknande böcker

Frontiers of Combining Systems : 10th International Symposium, FroCoS 20...
Bok av Peter Backeman
Logic Programming and Nonmonotonic Reasoning : 14th International Confer...
Bok av Marcello Balduccini
Automated Reasoning with Analytic Tableaux and Related Methods : 26th In...
Bok av Renate A Schmidt
Automated Reasoning : 9th International Joint Conference, IJCAR 2018, He...
Bok av Aleksandar Zeljic
Automated Reasoning
Bok av Stéphane. Demri
Algebraic Methodology and Software Technology : 13th International Confe...
Bok av Michael. Johnson
Scalable Uncertainty Management : 11th International Conference, SUM 201...
Bok av Serafin Moral
Modeling Decisions for Artificial Intelligence : 9th International Confe...
Bok av Vicenç. Torra

Automated Reasoning with Analytic Tableaux and Related Methods : 24th International Conference, TABLEAUX 2015, Wroclaw, Poland, September 21-24, 2015, Proceedings

Bok av Peter Backeman