Automated Reasoning with Analytic Tableaux and Related Methods
Subtitle: International Conference, TABLEAUX 2002 Copenhagen, Denmark, July 30 - August 1, 2002 Proceedings
By: edited by Uwe Egly, Chritian G. Fermüller
Contributors: Fermüller, Chritian G.
Series: Lecture Notes in Computer Science -- 2381; Lecture notes in computer science -- 2381.
Publisher: Springer-Verlag Berlin Heidelberg
Published: 2002
Place of publication: Berlin, Heidelberg
Language: eng
Format: [Elektronische Ressource] :
ISBN-13: 9783540456162
Subjects: Artificial intelligence; Automatisches Beweisverfahren; Computer science; Software engineering