1 电子书 Dominique Larchey-Wendling
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 Septemb …
PDF
英语
DRM
€51.41
