Theorem Proving in Higher Order Logics: 10th International Conference, TPHOLs'97, Murray Hill, NJ, USA, August 19-22, 1997, Proceedings (Lecture Notes in Computer Science)

0 avg rating
( 0 ratings by Goodreads )
 
9783540633792: Theorem Proving in Higher Order Logics: 10th International Conference, TPHOLs'97, Murray Hill, NJ, USA, August 19-22, 1997, Proceedings (Lecture Notes in Computer Science)

This book constitutes the refereed proceedings of the 10th International Conference on Theorem Proving in Higher Order Logics, TPHOLs '97, held in Murray Hill, NJ, USA, in August 1997.
The volume presents 19 carefully revised full papers selected from 32 submissions during a thorough reviewing process. The papers cover work related to all aspects of theorem proving in higher order logics, particularly based on secure mechanization of those logics; the theorem proving systems addressed include Coq, HOL, Isabelle, LEGO, and PVS.

"synopsis" may belong to another edition of this title.

Buy New View Book
List Price: US$ 99.00
US$ 24.65

Convert Currency

Shipping: US$ 7.37
From United Kingdom to U.S.A.

Destination, Rates & Speeds

Add to Basket

Top Search Results from the AbeBooks Marketplace

1.

Published by Springer
ISBN 10: 3540633790 ISBN 13: 9783540633792
New Quantity Available: 4
Print on Demand
Seller:
Majestic Books
(London, ,, United Kingdom)
Rating
[?]

Book Description Springer. Book Condition: New. pp. viii + 339 This item is printed on Demand. Bookseller Inventory # 5854062

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 24.65
Convert Currency

Add to Basket

Shipping: US$ 7.37
From United Kingdom to U.S.A.
Destination, Rates & Speeds

2.

ELSA L. GUNTER, MURRAY HILL, NJ, USA; AMY FELTY, MURRAY HILL, NJ, USA (EDS.)
ISBN 10: 3540633790 ISBN 13: 9783540633792
New Quantity Available: 5
Seller:
firstbookstore
(New Delhi, India)
Rating
[?]

Book Description Book Condition: Brand New. Brand New Original US Edition, Perfect Condition. Printed in English. Excellent Quality, Service and customer satisfaction guaranteed!. Bookseller Inventory # AIND-3425

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 36.25
Convert Currency

Add to Basket

Shipping: FREE
From India to U.S.A.
Destination, Rates & Speeds

3.

ELSA L. GUNTER, MURRAY HILL, NJ, USA; AMY FELTY, MURRAY HILL, NJ, USA (EDS.)
ISBN 10: 3540633790 ISBN 13: 9783540633792
New Quantity Available: 1
Seller:
Bookshub
(Karol Bagh, India)
Rating
[?]

Book Description Book Condition: New. New. US edition. Perfect condition. Customer satisfaction our priority. Bookseller Inventory # ABE-FEB-119552

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 36.63
Convert Currency

Add to Basket

Shipping: FREE
From India to U.S.A.
Destination, Rates & Speeds

4.

ELSA L. GUNTER, MURRAY HILL, NJ, USA; AMY FELTY, MURRAY HILL, NJ, USA (EDS.)
ISBN 10: 3540633790 ISBN 13: 9783540633792
New Quantity Available: 1
Seller:
EBOOKSTORE2010
(New Delhi, ND, India)
Rating
[?]

Book Description Book Condition: Brand New. New. US edition. Customer Satisfaction guaranteed!!. Bookseller Inventory # SHUB119552

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 36.68
Convert Currency

Add to Basket

Shipping: FREE
From India to U.S.A.
Destination, Rates & Speeds

5.

ELSA L. GUNTER, MURRAY HILL, NJ, USA; AMY FELTY, MURRAY HILL, NJ, USA (EDS.)
ISBN 10: 3540633790 ISBN 13: 9783540633792
New Quantity Available: 5
Seller:
Romtrade Corp.
(STERLING HEIGHTS, MI, U.S.A.)
Rating
[?]

Book Description Book Condition: New. Brand New Original US Edition.We Ship to PO BOX Address also. EXPEDITED shipping option also available for faster delivery. Bookseller Inventory # AUSBNEW-3425

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 39.07
Convert Currency

Add to Basket

Shipping: FREE
Within U.S.A.
Destination, Rates & Speeds

6.

ELSA L. GUNTER, MURRAY HILL, NJ, USA; AMY FELTY, MURRAY HILL, NJ, USA (EDS.)
ISBN 10: 3540633790 ISBN 13: 9783540633792
New Quantity Available: 1
Seller:
Basi6 International
(Irving, TX, U.S.A.)
Rating
[?]

Book Description Book Condition: Brand New. New, US edition. Excellent Customer Service. Bookseller Inventory # ABEUSA-119552

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 39.09
Convert Currency

Add to Basket

Shipping: FREE
Within U.S.A.
Destination, Rates & Speeds

7.

Published by Springer (1997)
ISBN 10: 3540633790 ISBN 13: 9783540633792
New Paperback Quantity Available: 1
Seller:
Irish Booksellers
(Rumford, ME, U.S.A.)
Rating
[?]

Book Description Springer, 1997. Paperback. Book Condition: New. book. Bookseller Inventory # M3540633790

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 40.53
Convert Currency

Add to Basket

Shipping: FREE
Within U.S.A.
Destination, Rates & Speeds

8.

Elsa L. Gunter
Published by Springer-Verlag Berlin and Heidelberg GmbH and Co. KG (1997)
ISBN 10: 3540633790 ISBN 13: 9783540633792
New Quantity Available: > 20
Print on Demand
Seller:
Pbshop
(Wood Dale, IL, U.S.A.)
Rating
[?]

Book Description Springer-Verlag Berlin and Heidelberg GmbH and Co. KG, 1997. PAP. Book Condition: New. New Book. Shipped from US within 10 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Bookseller Inventory # IQ-9783540633792

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 87.17
Convert Currency

Add to Basket

Shipping: US$ 3.99
Within U.S.A.
Destination, Rates & Speeds

9.

Elsa L. Gunter (Editor), Amy Felty (Editor)
Published by Springer (1997)
ISBN 10: 3540633790 ISBN 13: 9783540633792
New Paperback Quantity Available: 1
Seller:
Ergodebooks
(RICHMOND, TX, U.S.A.)
Rating
[?]

Book Description Springer, 1997. Paperback. Book Condition: New. 1997. Bookseller Inventory # DADAX3540633790

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 89.49
Convert Currency

Add to Basket

Shipping: US$ 4.99
Within U.S.A.
Destination, Rates & Speeds

10.

Elsa L. Gunter
Published by Springer-Verlag Berlin and Heidelberg GmbH and Co. KG (1997)
ISBN 10: 3540633790 ISBN 13: 9783540633792
New Quantity Available: > 20
Print on Demand
Seller:
Books2Anywhere
(Fairford, GLOS, United Kingdom)
Rating
[?]

Book Description Springer-Verlag Berlin and Heidelberg GmbH and Co. KG, 1997. PAP. Book Condition: New. New Book. Delivered from our UK warehouse in 3 to 5 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Bookseller Inventory # LQ-9783540633792

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 83.71
Convert Currency

Add to Basket

Shipping: US$ 12.07
From United Kingdom to U.S.A.
Destination, Rates & Speeds

There are more copies of this book

View all search results for this book