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
Primera publicación
2007
Editores
Springer London· Limited
Idioma
English

Libros

Libros similares