Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Check order status

Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free

Free delivery for purchases over 19 990 Ft

DPD point 990 Ft DPD courier 1 190 Ft GLS point 1 190 Ft Hungarian Post 1 795 Ft Hungarian Post 1 690 Ft Hungarian Post 1 690 Ft FoxPost 1 190 Ft Packeta point 1 190 Ft GLS courier 1 690 Ft

Contact

How to shop

Help

My account

▸ Empty :-(

Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Theorem Proving in Higher Order Logics

Name: Theorem Proving in Higher Order Logics
Brand: Springer, Berlin
SKU: 05274732
Price: 20377 HUF
Availability: InStock
Author: Amy Felty
ISBN: 9783540633792

10th International Conference, TPHOLs '97, Murray Hill, NJ, USA, August 19-22, 1997, Proceedings

Amy Felty

Elsa L. Gunter

Language

English

Book Paperback

Libristo code: 05274732

Publishers Springer, Berlin, November 1997

This book constitutes the refereed proceedings of the 10th International Conference on Theorem Provi... Full description

Libristo code: 05274732

136 b

20 377 Ft

In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns

Customers also purchased

Čas šelmy aneb příběhy (p)o konci světa Vladimír Němec

Paperback

3 663 Ft

Hathor-Sounds, Audio-CD Tom Kenyon

Audio CD

4 637 Ft

Ganongův přehled lékařské fyziologie Kim E. Barrett

Hardback

36 764 Ft

Cornelsen Literathek - Textausgaben - Schachnovelle - Empfohlen für das 10.-13. Schuljahr - Textausgabe - Text - Erläuterungen - Materialien Stefan Zweig

Paperback

2 868 Ft

Barefoot On Diamond Road Amber Arcades

Audio CD

5 508 Ft

Die verborgene Geschichte der Erde Claudia Buchholtz

Paperback

11 073 Ft

Elektra, die hell Leuchtende Jennifer Saint

Adobe ePub DRM

4 008 Ft

NFL American Football Sebastian Mühlenhof

Hardback

14 092 Ft

Die Schule der magischen Tiere 12: Voll das Chaos! Andreas Fröhlich

Audio CD

4 112 Ft

Histoire mondiale

Paperback

3 648 Ft

Collection Des Voyages Des Souverains Des Pays-Bas V3 (1881) Louis Prosper Gachard

Paperback

18 668 Ft

Antologija Pjesnictva Hrvatskoga I Srbskoga: Narodnoga I Umjetnoga Sa Uvodom O Poetici (1876) August Senoa

Paperback

14 977 Ft

Poetiken des Widerspruchs in vormoderner Erzahlliteratur Elisabeth Lienert

Paperback

28 525 Ft

Die Krankheiten Der Nagel Julius Heller

Paperback

20 935 Ft

Bajkala Ozera Skazki. Tom 2. Jeposy, Mify, Legendy I Skazanija

Paperback

10 070 Ft

Yoga-Inspiration, m. 54 Beilage Barbara Kündig

Game

5 702 Ft

Smútkové poradenstvo a smútková terapia Worden William

Paperback

5 627 Ft

Eutocius d'Ascalon Micheline Decorps-Foulquier

Hardback

52 744 Ft

Das Kino bin ich Robin Becker

Paperback

7 775 Ft

Seidenstraße Quelle: Wikipedia

Paperback

5 806 Ft

Mahoma Anuar Lahud

Paperback

2 854 Ft

Was diese Frau so alles treibt, 1 DVD, deutsche u. englische Version Norman Jewison

DVD

3 526 Ft

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.