Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, TABLEAUX'98, Oisterwijk, The Netherlands, May 5-8, 1998, Proceedings (Lecture Notes in Computer Science)

By Gerhard Goos

No Synopsis Available.

• Format: Paperback
• Language: English
• ISBN: 3540644067
• ISBN13: 9783540644064
• Release Date: June 1998
• Publisher: Springer
• Length: 325 Pages
• Weight: 1.01 lbs.
• Dimensions: 1.6" x 5.5" x 7.9"