Automated reasoning with analytic tableaux and related methods : international conference, TABLEAUX 2002, Copenhagen, Denmark, July 30-August 1, 2002 : proceedings / Uwe Egly, Christian G. Fermüller (eds.)

This book constitutes the refereed proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2002, held in Copenhagen, Denmark, in July/August 2002. The 20 revised full papers and two system descriptions presented together with two invite...

Full description

Bibliographic Details

Online Access:	Full Text (via Springer)
Corporate Author:	TABLEAUX 2002 Copenhagen, Denmark
Other Authors:	Egly, Uwe, 1960-, Fermüller, C. (Christian), 1963-
Format:	Conference Proceeding eBook
Language:	English
Published:	Berlin ; New York : Springer, ©2002.
Series:	Lecture notes in computer science ; 2381. Lecture notes in computer science. Lecture notes in artificial intelligence.
Subjects:	Automatic theorem proving > Congresses. Automatic theorem proving. Conference papers and proceedings.