Theorem Proving in Higher Order Logics 11th International Conference, TPHOLs'98, Canberra, Australia, September 27 - October 1, 1998, Proceedings
by Jim Grundy, Malcolm Newey
Available
Ships From New York
Free Shipping within U.S.A
International Shipping?
Check Delivery Estimate and
Shipping Cost
for your country
| Publisher: | Springer |
| Published In: | 09-Sep-1998 |
| ISBN-10: | 3540649875 |
| ISBN-13: | 9783540649878 |
| Binding Type: | Paperback |
| Weight: | 1.62 lbs |
| Pages: | pp. 516, 49:B&W 6.14 x 9.21 in or 234 x 156 mm (Royal 8vo) Perfect Bound on White w/Gloss |
The Title "Theorem Proving in Higher Order Logics 11th International Conference, TPHOLs'98, Canberra, Australia, September 27 - October 1, 1998, Proceedings 1st Edition" is written by Jim Grundy. This book was published in the year 1998. The ISBN number 3540649875|9783540649878 is assigned to the Paperback version of this title. The book displayed here is a 1st Edition edition. This book has total of pp. VIII + 497 (Pages). The publisher of this title is Springer. We have about 155425 other great books from this publisher. Theorem Proving in Higher Order Logics 11th International Conference, TPHOLs'98, Canberra, Australia, September 27 - October 1, 1998, Proceedings 1st Edition is currently Available with us.