| 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 Artificial Intelligence Ser. | ISBN: | 978-3-540-64406-4 | Publication Date: | Jan 1998 | Publisher: | Springer
| Book Format: | Paperback | List Price: | AUD $182.95 |
| |