AnyBook4Less.com
Find the Best Price on the Web
Order from a Major Online Bookstore
Developed by Fintix
Home  |  Store List  |  FAQ  |  Contact Us  |  
 
Ultimate Book Price Comparison Engine
Save Your Time And Money

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)

Please fill out form in order to compare prices
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: 3-540-64406-7
Publisher: Springer Verlag
Pub. Date: June, 1998
Format: Paperback
Volumes: 1
List Price(USD): $77.95
Your Country
Currency
Delivery
Include Used Books
Are you a club member of: Barnes and Noble
Books A Million Chapters.Indigo.ca

Thank you for visiting www.AnyBook4Less.com and enjoy your savings!

Copyright� 2001-2021 Send your comments

Powered by Apache