Automated Reasoning with Analytic Tableaux and Related Methods: International Conference Tableaux'99
Book Title
Automated Reasoning with Analytic Tableaux and Related Methods: International Conference Tableaux'99
Editor
N. V. Murray
ISBN
3−540−66086−0
Key
Proceedings of Tableaux'99
Month
JUN
Number
1617
Publisher
Springer−Verlag
Series
Lecture Notes in Artificial Intelligence
Year
1999