Order from a Major Online Bookstore
Ultimate Book Price Comparison Engine
Save Your Time And Money
| AnyBook4Less.com | Order from a Major Online Bookstore |
|
| Home | Store List | FAQ | Contact Us | | ||
| Ultimate Book Price Comparison Engine Save Your Time And Money |
||
1. |  | Title: 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, 1397) by Tableaux'9, Harrie De Swart, G. Goos, J. Hartmanis, J. Van Leeuwen ISBN: 3540644067 Publisher: Springer Verlag Pub. Date: June, 1998 List Price: $77.95 Amazon.com Price: $77.95 |
Thank you for visiting www.AnyBook4Less.com and enjoy your savings!
Copyright� 2001-2021 Send your comments
