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
Iliyochapishwa mara ya kwanza
2007
Wachapishaji
Springer London· Limited
Lugha
English

Vitabu

Vitabu vinavyofanana