Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, Tableaux'98, Oisterwijk, the Netherlands, May 5-8, 1998, Pro

by Gerhard Goos

No Synopsis Available.

• Format: Paperback
• Language: English
• ISBN: 3540644067
• ISBN13: 9783540644064
• Release Date: June 1998
• Publisher: Springer
• Length: 325 Pages