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 21st International Conference, TPHOLs 2008, Montreal, Canada, August 18-21, 2008, Proceedings

by  
Theorem Proving in Higher Order Logics 21st International Conference, TPHOLs 2008, Montreal, Canada, August 18-21, 2008, Proceedings,3540710655,9783540710653

Paperback

£ 62.99

£ 33.99
Save £ 29.00

Enquire about this book

Available

Usually Ships in 4 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:30-Jul-2008
ISBN-10:3540710655
ISBN-13:9783540710653
Binding Type:Paperback
Weight:559 gms
Pages:pp. 338, 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 21st International Conference, TPHOLs 2008, Montreal, Canada, August 18-21, 2008, Proceedings" is written by Otmane Ait Mohamed. This book was published in the year 2008. The ISBN number 3540710655|9783540710653 is assigned to the Hardback version of this title. This book has total of pp. X + 321 (Pages). The publisher of this title is Springer. We have about 138114 other great books from this publisher. Theorem Proving in Higher Order Logics 21st International Conference, TPHOLs 2008, Montreal, Canada, August 18-21, 2008, Proceedings is currently Available with us.

Related Books

13 Lectures on Fermat's Last Theorem,0387904328,9780387904320
51 %

13 Lectures on Ferma ...

Paulo Ribenboim

List Price: £ 79.99

Our Price: £ 39.53

Aspects of Ecology and Zoogeography of Recent and Fossil Ostracoda,9061935814,9789061935810
26 %

Aspects of Ecology a ...

Heinz Loffler, ...

List Price: £ 280.00

Our Price: £ 205.99

Ordinary and Partial Differential Equations Proceedings of the Sixth Conference Held at Dundee, Scotland, March 31 - April 4, 1980,3540105697,9783540105695

Ordinary and Partial ...

W. N. Everitt, ...

Our Price: £ 28.83

Probability in Banach Spaces III Proceedings of the Third International Conference on Probability in Banach Spaces, Held at Tufts University, Medford, USA, August 4-16, 1980,354010822X,9783540108221

Probability in Banac ...

A. Beck

Our Price: £ 28.30

Abelian Group Theory Proceedings of the Oberwolfach Conference, January 12-17, 1981,3540108556,9783540108559

Abelian Group Theory ...

R. Gbel, E. Wal ...

Our Price: £ 36.55

Integral Representations and Applications Proceedings of a Conference Held at Oberwolfach, Germany, June 22-28, 1980,3540108807,9783540108801

Integral Representat ...

Klaus W. Roggen ...

Our Price: £ 36.60