| Automated Reasoning with Analytic Tableaux and Related Methods International Conference, TABLEAUX'98, Oisterwijk, the Netherlands, May 5-8, 1998 | | | Editor:
| De Swart, H.
Goos, G.
Hartmanis, J.
Van Leeuwen, Jan | | Series title: | Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence Ser. | | ISBN: | 978-3-540-64406-4 | | Publication Date: | Apr 1998 | | Publisher: | Springer
| | Book Format: | Paperback | | List Price: | USD $99.00 |
| |