Automated reasoning with analytic tableaux and related methods : international conference, TABLEAUX 2000, St Andrews, Scotland, UK, July 3-7, 2000 : proceedings / Roy Dyckhoff (ed.)

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 carefully reviewed and...

Full description

Bibliographic Details

Online Access:	Full Text (via Springer)
Corporate Author:	TABLEAUX 2000 St. Andrews, Scotland
Other Authors:	Dyckhoff, Roy, 1948-
Format:	Conference Proceeding eBook
Language:	English
Published:	Berlin ; New York : Springer, 2000.
Series:	Lecture notes in computer science ; 1847. Lecture notes in computer science. Lecture notes in artificial intelligence.
Subjects:	Automatic theorem proving > Congresses. Automatic theorem proving. Conference papers and proceedings.