Automated Reasoning With Analytic Tableaux And Related Methods International Conference | Desertcart SINGAPORE
Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, TABLEAUX’99 Saratoga Springs, NY, USA, June 7–11, 1999 Proceedings
