2 Ebooks by Didier Galmiche
Didier Galmiche & Stephan Schulz: Automated Reasoning
This book constitutes the refereed proceedings of the 9th International Joint Conference on Automated Reasoning, IJCAR 2018, held in Oxford, United Kingdom, in July 2018, as part of the Federated …
EPUB
Inggeris
DRM
€57.37
Didier Galmiche & Dominique Larchey-Wendling: Automated Reasoning with Analytic Tableaux and Related Methods
This book constitutes the refereed proceedings of the 22th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2013, held in Nancy, France, in …
PDF
Inggeris
DRM
€51.00
