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

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

Corporate Authors:	TABLEAUX 2000 St. Andrews, Scotland, SpringerLink (Online service)
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. Electronic books. Conference papers and proceedings.
Online Access:	Connect to the full text of this electronic book