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

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

$ 99.00

$ 50.83
Save $ 48.17

Enquire about this book

Available

Usually Ships in 11 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:30-Jul-2008
ISBN-10:3540710655
ISBN-13:9783540710653
Binding Type:Paperback
Weight:1.23 lbs
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
50 %

13 Lectures on Fermat's L ...

Paulo Ribenboim

List Price: $ 119.99

Our Price: $ 59.61

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

Aspects of Ecology and Zo ...

Heinz Loffler, ...

List Price: $ 389.00

Our Price: $ 256.88

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

Ordinary and Partial Diff ...

W. N. Everitt, ...

List Price: $ 46.00

Our Price: $ 43.85

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
8 %

Probability in Banach Spa ...

A. Beck

List Price: $ 46.00

Our Price: $ 42.42

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

Abelian Group Theory Proc ...

R. Gbel, E. Wal ...

List Price: $ 69.95

Our Price: $ 53.99

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

Integral Representations ...

Klaus W. Roggen ...

List Price: $ 59.00

Our Price: $ 54.24