Automated Reasoning with Analytic Tableaux and Related Methods : International Conference, TABLEAUX 2005, Koblenz, Germany, September 14-17, 2005, Proceedings

Automated Reasoning with Analytic Tableaux and Related Methods : International Conference, TABLEAUX 2005, Koblenz, Germany, September 14-17, 2005, Proceedings

Show other versions (1)
Saved in:
Bibliographic Details
Corporate Authors: TABLEAUX 2005 Koblenz, Germany, SpringerLink (Online service)
Other Authors: Beckert, Bernhard
Format: Conference Proceeding eBook
Language:English
Published: Berlin, Heidelberg Springer 2005.
Series:Lecture Notes in Computer Science, 3702
Subjects:
Automatic theorem proving > Congresses.
Computer science.
Software engineering.
Computer Science.
Online Access:SpringerLink
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Physical Description:xiii, 342 p. ill., digital 24 cm.
ISSN:0302-9743 ;

Similar Items