Springer
Theorem Proving in Higher Order Logics (English, Victor A. Carreno | Cesar A. Munoz | Sofiene Tahar)
₹5,680
Inclusive of all applicable taxes. FREE shipping on all orders.
Quantity:
1
Free DeliveryOn every order
15-Day ReturnEasy returns
Genuine BookPhysical copy only
Available Offers
- 🚚Free Delivery — Free shipping on all orders
- 💵Cash on Delivery — Pay when your order arrives
- ↩️15-Day Easy Returns — Hassle-free return policy
- 🔒Cash on Delivery — Pay safely when your order arrives
Check Delivery
Product Description
About the Book
This book constitutes the refereed proceedings of the 15th International Conference on Theorem Proving in Higher Order Logics, TPHOLs 2002, held in Hampton, VA, USA in August 2002. The 20 revised full papers presented together with 2 invited contributions were carefully reviewed and selected from 34 submissions. All current issues in HOL theorem proving and formal verification of software and hardware systems are addressed. Among the HOL theorem…
ISBN: 9783540440390
Book Specifications
| ISBN-13 | 9783540440390 |
| ISBN-10 | 3540440399 |
| Publisher | Springer |
| Category | Springer |
Frequently Asked Questions
What is the price of Theorem Proving in Higher Order Logics?
Theorem Proving in Higher Order Logics is available at ₹5,680 on BookShops.in.
Does BookShops.in offer free delivery for Theorem Proving in Higher Order Logics?
FREE delivery on all orders for Theorem Proving in Higher Order Logics.
Is Cash on Delivery available for Theorem Proving in Higher Order Logics?
Yes, Cash on Delivery (COD) is available for Theorem Proving in Higher Order Logics on BookShops.in. Pay when your order arrives.
What is the return policy for Theorem Proving in Higher Order Logics?
BookShops.in offers a 15-day hassle-free return policy for Theorem Proving in Higher Order Logics. Contact us at support@bookshops.in or call +91 90874 10993.
Is Theorem Proving in Higher Order Logics authentic?
Theorem Proving in Higher Order Logics is listed on BookShops.in after verification of product details including ISBN, title, and availability information.
Customers Also Bought
McFarland & Company
Paul Auster and the Influence of Maurice Blanchot
₹3,643
Robin Grille Press
Parenting for a Peaceful World by Robin Grille – Child Psychology & Peaceful Parenting
₹2,592
McFarland & Company
Welcome to Arkham Asylum | by Sharon Packer | Daniel R. Fredrick | McFarland & Company | by Sharon Packer | Daniel R. Fredrick | McFarland & Company | by Sharon Packer | Daniel R. Fredrick | McFarland & Company | by Sharon Packer | Daniel R. Fredrick | McFarland & Company | by Sharon Packer | Daniel R. Fredrick | McFarland & Company | by Sharon Packer | Daniel R. Fredrick | McFarland & Company | by Sharon Packer | Daniel R. Fredrick | McFarland & Company | by Sharon P
₹3,557
McFarland & Company
Playing with the Guys | by Marc A. Ouellette | Matthew Wilhelm Kapell | McFarland & Company | by Marc A. Ouellette | Matthew Wilhelm Kapell | McFarland & Company | by Marc A. Ouellette | Matthew Wilhelm Kapell | McFarland & Company | by Marc A. Ouellette | Matthew Wilhelm Kapell | McFarland & Company | by Marc A. Ouellette | Matthew Wilhelm Kapell | McFarland & Company | by Marc A. Ouellette | Matthew Wilhelm Kapell | McFarland & Company | by Marc A. Ouellette | Matthew W
₹3,526
Andrews McMeel Publishing
Calvin and Hobbes: It's a Magical World by Bill Watterson
₹1,362
Springer
Contemporary Methods for Speech Parameterization (Springerbriefs in Electrical and Computer Engineering / Springerbriefs in Speech Technology)
₹4,187
Related Products
View AllSpringer
Contemporary Methods for Speech Parameterization (Springerbriefs in Electrical and Computer Engineering / Springerbriefs in Speech Technology)
₹4,187
Springer
Ermittlung Der Billigsten Betriebskraft Für Fabriken | by Karl Urbahn | Ernst Reutlinger | Springer | by Karl Urbahn | Ernst Reutlinger | Springer | by Karl Urbahn | Ernst Reutlinger | Springer | by Karl Urbahn | Ernst Reutlinger | Springer | by Karl Urbahn | Ernst Reutlinger | Springer | by Karl Urbahn | Ernst Reutlinger | Springer | by Karl Urbahn | Ernst Reutlinger | Springer | by Karl Urbahn | Ernst Reutlinger | Springer | by Karl Urbahn | Ernst Reutlinger | Springer | by Karl Urbahn | Ernst
₹5,829
Springer
Historische Studien Und Skizzen Zu Natur- Und Heilwissenschaft | by Georg Stricker | Springer | by Georg Stricker | Springer | by Georg Stricker | Springer | by Georg Stricker | Springer | by Georg Stricker | Springer | by Georg Stricker | Springer | by Georg Stricker | Springer | by Georg Stricker | Springer | by Georg Stricker | Springer | by Georg Stricker | Springer | by Georg Stricker | Springer | by Georg Stricker | Springer | by Georg Stricker | Springer | by Georg Stricker | Springer | b
₹3,508
Springer
Kondensation. | by F. J. Weiss | E. Wiki | Springer | by F. J. Weiss | E. Wiki | Springer | by F. J. Weiss | E. Wiki | Springer | by F. J. Weiss | E. Wiki | Springer | by F. J. Weiss | E. Wiki | Springer | by F. J. Weiss | E. Wiki | Springer | by F. J. Weiss | E. Wiki | Springer | by F. J. Weiss | E. Wiki | Springer | by F. J. Weiss | E. Wiki | Springer | by F. J. Weiss | E. Wiki | Springer | by F. J. Weiss | E. Wiki | Springer | by F. J. Weiss | E. Wiki | Springer | by F. J. Weiss | E. Wiki | S
₹3,508
Springer
Rechnernetze und Datenkommunikation (Springer Compass)
₹3,548
Springer
Wirtschaftswachstum, Strukturwandel und dynamischer Wettbewerb: Ernst Helmstädter zum 65. Geburtstag
₹3,982