ENGLISH

Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, TABLEAUX’98 Oisterwijk, The Netherlands, May 5–8, 1998 Proceedings

By N. G. de Bruijn (auth.) , Harrie de Swart (eds.)

Book information

Publisher
Springer Berlin Heidelberg
Year
1998
ISBN
978-3-540-64406-4, 978-3-540-69778-7, 3-540-64406-7
DOI
10.1007/3-540-69778-0
Language
english
Format
PDF
Filesize
4 MB (4071922 bytes)
Series
Lecture Notes in Computer Science 1397
Pages
336\336
Time added
2014-01-18 08:00:00
Artificial Intelligence (incl. Robotics); Mathemat

Similar books