The Mega Online Bookshop
Welcome Guest | Login | Home | Contact Us
Shopping from USA? Shop in Your Local Currency, Visit http://www.printsasia.com

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

£ 81.00

£ 40.30
Save £ 40.70

Enquire about this book

Available

Usually Ships in 14 Days.

Ships From London

Free Shipping within U.K

International Shipping?

Check Delivery Estimate and Delivery Charges for your country

Book Information

Publisher:Springer
Published In:09-Sep-1998
ISBN-10:3540649875
ISBN-13:9783540649878
Binding Type:Paperback
Weight:735 gms
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. This book has total of pp. VIII + 497 (Pages). The publisher of this title is Springer. We have about 138114 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

Proceedings of the S ...

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

Our Price: £ 37.54

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

Algebraic K-Theory I ...

Hyman Bass

Our Price: £ 39.38