The Mega Online Bookstore
Welcome Guest | Login | Home | Contact Us

Theorem Proving in Higher Order Logics 11th International Conference, TPHOLs'98, Canberra, Australia, September 27 - October 1, 1998, Proceedings

by  ,
Theorem Proving in Higher Order Logics 11th International Conference, TPHOLs'98, Canberra, Australia, September 27 - October 1, 1998, Proceedings,3540649875,9783540649878

Paperback

$ 129.00

$ 57.99
Save $ 71.01

Enquire about this book

Available

Usually Ships in 21 Days.

Ships From New York

Free Shipping within U.S.A

International Shipping?

Check Delivery Estimate and Shipping Cost for your country

Book Information

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.

Related Books

Proceedings of the Second Conference on Compact Transformation Groups. University of Massachusetts, Amherst, 1971 Part 1,3540060774,9783540060772
9 %

Proceedings of the Second ...

H. T Ku, L. N M ...

List Price: $ 59.00

Our Price: $ 53.87

Algebraic K-Theory I. Proceedings of the Conference Held at the Seattle Research Center of Battelle Memorial Institute, August 28 - September 8, 1972 Higher K-Theories,3540064346,9783540064343
8 %

Algebraic K-Theory I. Pro ...

Hyman Bass

List Price: $ 59.95

Our Price: $ 55.24

Etapes International,2350170926,9782350170923

Etapes International

Michel Chanaud, ...

Our Price: $ 19.99