Automated Reasoning with Analytic Tableaux and Related Methods

Automated Reasoning with Analytic Tableaux and Related Methods

16th International Conference, TABLEAUX 2007, Aix en Provence, France, July 3-6, 2007, Proceedings

2/5
نشرت لأول مرة
2007
الناشرون
Springer London· Limited
لغة
English

كتب

كتب مماثلة