Higher Order Logic Theorem Proving and Its Applications : 7th International Workshop, Valletta, Malta, September 19-22, 1994
Published by Springer-Verlag (1994), Berlin / Heidelberg, 1994
- Softcover
- Used
Seller: Expatriate Bookshop of Denmark/John Jackson Books, Svendborg, DenmarkExpatriate Bookshop of Denmark/John Jackson Books
AbeBooks seller since December 6, 1998
Condition: Used
US$ 59.00
Quantity: 1 available
Add to basketItem description from seller
24x16cm, ix,470 pp., Weighs 700 grams. Series: Lecture Notes in Computer Science, 859. Full title reads: "Higher Order Logic Theorem Proving and Its Applications : 7th International Workshop, Valletta, Malta, September 19-22, 1994 : Proceedings".
Seller Inventory # 027483
- Title
- Higher Order Logic Theorem Proving and Its Applications : 7th International Workshop, Valletta, Malta, September 19-22, 1994
- Author
- Melham, Thomas F. ; & Camilleri, Juanito ; editors :
- Publisher
- Springer-Verlag (1994), Berlin / Heidelberg
- Publication year
- 1994
- Condition
- Minor wear. VG.
- Binding
- orig. wrappers
- ISBN 10
- 3540584501
- ISBN 13
- 9783540584506
- Seller catalogs
- Automatic Theorem Proving
Besides 3 invited papers, the proceedings contains 27 refereed papers selected from 42 submissions. In total the book presents many new results by leading researchers working on the design and applications of theorem provers for higher order logic. In particular, this book gives a thorough state-of-the-art report on applications of the HOL system, one of the most widely used theorem provers for higher order logic.
"Synopsis" may belong to another edition of this title.
Expatriate Bookshop of Denmark/John Jackson Books
Svendborg, Denmark
AbeBooks seller since December 6, 1998
Shipping rates from Denmark to U.S.A.
| Item | 27 to 52 business days | 31 to 53 business days |
|---|---|---|
| First item | US$ 66.10 | US$ 94.11 |
Payment methods
- Bank Draft
- Bank Wire Transfer
- Cash
- Check
- Money Order
Specialty
Social - Political & Religious Movements, Indian Subcontinent, Economic & Colonial History, Humanities & Social Sciences, Linguistics; Classical Philology; Archaeology, Anthropology & Comparative Religion, Africa; Asia; Latin AmericaSeller's business information
Expatriate Bookshop of Denmark/John Jackson Books
Denmark
Terms of sale
Terms & conditions:
Prices are listed in US Dollars / Euros. For shipping & handling charges, kindly enquire. Insurance optional & extra. Uninsured parcels shipped at customer's risk.
FOR CUSTOMERS RESIDING WITHIN THE EUROPEAN UNION:
Please note that special terms and conditions apply. Kindly enquire. Institutions/Booksellers kindly provide VAT Registration Number with Order.
Expatriate Bookshop of Denmark
VAT Registration Nr. DK-15625775
Brogade 17B,1
5700 Svendborg
telephone: (0045) 50139260
John Jackson, Proprietor
Shipping terms
Shipping costs are based on books weighing 2.2 LB, or 1 KG. If your book order is heavy or oversized, we may contact you to let you know extra shipping is required.