Automated reasoning with analytic tableaux and related methods : international conference, TABLEAUX 2002, Copenhagen, Denmark, July 30-August 1, 2002 : proceedings /
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
Corporate Author: |
TABLEAUX 2002 Copenhagen, Denmark |
Other Authors: |
Egly, Uwe, 1960-,
Fermüller, C (Christian), 1963-,
Fermüller, C (Christian), 1963- |
Format: | Conference Proceeding
Book
|
Language: | English |
Published: |
Berlin ; New York :
Springer,
2002
Berlin ; New York :
c2002
Berlin ; New York :
©2002
|
Series: | Lecture notes in computer science ;
2381
Lecture notes in computer science Lecture notes in artificial intelligence
Lecture notes in computer science Lecture notes in artificial intelligence.
Lecture notes in computer science
2381
|
Subjects: |
|