Theorem Proving in Higher Order Logics 21st International Conference, TPHOLs 2008, Montreal, Canada, August 18-21, 2008, Proceedings
by Otmane Ait Mohamed
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: | 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.