An edition of Automated Reasoning with Analytic Tableaux and Related Methods (2002)
Automated Reasoning with Analytic Tableaux and Related Methods
International Conference, TABLEAUX 2002 Copenhagen, Denmark, July 30 - August 1, 2002 Proceedings
By Uwe Egly
0 (0 Ratings)
0 Want to read0 Currently reading0 Have read
0 Want to read0 Currently reading0 Have read
Publish Date
2002
Publisher
Springer-Verlag Berlin Heidelberg
Language
eng
Pages
-
RelatedBooks