"13" Result
Sort By:
Automated reasoning with analytic tableaux and related methods: international conference, TABLEAUX 2000, St. Andr…
by TABLEAUX 2000, St. Andrews, Scotland), Dyckhoff, Roy, International Conference on Analytic Tableaux and Related Methods, Saint Andrews, International Conference on Analytic Tableaux and Related Methods, St. Andrews, Scotland)
fromLecture Notes in Computer Science
0
Type: Book
This book constitutes the refereed proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2000, held in St Andrews, Scotland, UK, in July 2000. The 23 revised full papers and 2 system descriptions presented were ca…