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: Theorem Proving in High Order Logics: 12th International Conference, Tphols'99, Nice, France, September 14-17, 1999, Proceedings (Lecture Notes in Computer Science, 1690) by Tphols '9, G. Dowek, A. Hirschowitz, C. Paulin, L. Thery, G. Goos, J. Hartmanis, J. Van Leeuwen, Y. Bertot ISBN: 3540664637 Publisher: Springer Verlag Pub. Date: November, 1999 List Price: $82.95 Amazon.com Price: $82.95 |
Thank you for visiting www.AnyBook4Less.com and enjoy your savings!
Copyright� 2001-2021 Send your comments
