Order Total (1 Item Items):
Shipping Destination:
Stefan Berghofer (15 results)
Skip to main search results
Search filters
Product Type
- All Product Types
- Books (15)
- Magazines & Periodicals (No further results match this refinement)
- Comics (No further results match this refinement)
- Sheet Music (No further results match this refinement)
- Art, Prints & Posters (No further results match this refinement)
- Photographs (No further results match this refinement)
- Maps (No further results match this refinement)
- Manuscripts & Paper Collectibles (No further results match this refinement)
Condition Learn more
- New (11)
- As New, Fine or Near Fine (4)
- Very Good or Good (No further results match this refinement)
- Fair or Poor (No further results match this refinement)
- As Described (No further results match this refinement)
Binding
- All Bindings
- Hardcover (No further results match this refinement)
- Softcover (15)
Collectible Attributes
- First Edition (No further results match this refinement)
- Signed (No further results match this refinement)
- Dust Jacket (No further results match this refinement)
- Seller-Supplied Images (11)
- Not Print on Demand (11)
Language (2)
Price
- Any Price
- Under US$ 25 (No further results match this refinement)
- US$ 25 to US$ 50
- Over US$ 50
Free Shipping
- Free Shipping to U.S.A. (No further results match this refinement)
Seller Location
Seller Rating
-
Condition: As New. Unread book in perfect condition.
-
Theorem Proving in Higher Order Logics: 22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009, Proceedings (Lecture Notes in Computer Science, 5674)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
US$ 69.32
US$ 15.87 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
-
Modeling And Retrieval of Context : Second International Workshop, MRC 2005, Edinburgh, UK, July 31-August 1, 2005, Revised Selected Papers
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
US$ 68.24
US$ 19.88 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New.
-
Modeling And Retrieval of Context : Second International Workshop, MRC 2005, Edinburgh, UK, July 31-August 1, 2005, Revised Selected Papers
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
US$ 76.35
US$ 19.88 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: As New. Unread book in perfect condition.
-
Theorem Proving in Higher Order Logics: 22nd International Conference, Tphols 2009, Munich, Germany, August 17-20, 2009, Proceedings: Vol 5674
Language: English
Published by Springer-Verlag New York Inc, 2009
ISBN 10: 364203358X ISBN 13: 9783642033582
US$ 95.51
US$ 16.56 shipping
Ships from United Kingdom to U.S.A.Quantity: 2 available
Add to basketPaperback. Condition: Brand New. 1st edition. 517 pages. 9.13x6.06x1.18 inches. In Stock.
-
Modeling and Retrieval of Context
Language: English
Published by Springer Berlin Heidelberg, 2006
ISBN 10: 3540335870 ISBN 13: 9783540335870
Condition: New. Post-proceedings of the Second International Workshop on Modeling and Retrieval of Context, MRC 2005, held in Edinburgh, UKPresents 9 revised full papers presented include extended versions of some of the papers presented at the MRC 2005 workshop.
-
Theorem Proving in Higher Order Logics : 22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009, Proceedings
Language: English
Published by Springer Berlin Heidelberg, 2009
ISBN 10: 364203358X ISBN 13: 9783642033582
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the 22nd International Conference on Theorem Proving in Higher Order Logics, TPHOLs 200, held in Munich, Germany, in August 2009. The 26 revised full papers presented together with 1 proof pearl, 4 tool presentations, and 3 invited papers were carefully reviewed and selected from 55 submissions. The papers cover all aspects of theorem proving in higher order logics as well as related topics in theorem proving and verification such as formal semantics of specification, modeling, and programming languages, specification and verification of hardware and software, formalization of mathematical theories, advances in theorem prover technology, as well as industrial application of theorem provers.
-
Taschenbuch. Condition: Neu. Theorem Proving in Higher Order Logics | 22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009, Proceedings | Stefan Berghofer (u. a.) | Taschenbuch | xi | Englisch | 2009 | Springer | EAN 9783642033582 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
-
US$ 148.76
US$ 33.13 shipping
Ships from United Kingdom to U.S.A.Quantity: 1 available
Add to basketPaperback. Condition: Like New. LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS. book.
-
Projekt Klassenanalyse: Gesamtreproduktionsprozess der BDR 1950-1975. Kritik der volkswirtschaftlichen Gesamtrechnung.
Seller: Wissenschaftl. Antiquariat Th. Haker e.K, Klettgau, Germany
Seller rating 5 out of 5 stars
softcover. Condition: Sehr gut. 320 S. ISBN: 9783879750986 Sprache: Deutsch Gewicht in Gramm: 310.
-
Theorem Proving in Higher Order Logics
Language: English
Published by Springer Berlin Heidelberg Aug 2009, 2009
ISBN 10: 364203358X ISBN 13: 9783642033582
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the refereed proceedings of the 22nd International Conference on Theorem Proving in Higher Order Logics, TPHOLs 200, held in Munich, Germany, in August 2009. The 26 revised full papers presented together with 1 proof pearl, 4 tool presentations, and 3 invited papers were carefully reviewed and selected from 55 submissions. The papers cover all aspects of theorem proving in higher order logics as well as related topics in theorem proving and verification such as formal semantics of specification, modeling, and programming languages, specification and verification of hardware and software, formalization of mathematical theories, advances in theorem prover technology, as well as industrial application of theorem provers. 532 pp. Englisch.
-
Condition: New. PRINT ON DEMAND pp. 166.
-
Theorem Proving in Higher Order Logics
Language: English
Published by Springer Berlin Heidelberg, 2009
ISBN 10: 364203358X ISBN 13: 9783642033582
Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. This book constitutes the refereed proceedings of the 22nd International Conference on Theorem Proving in Higher Order Logics, TPHOLs 200, held in Munich, Germany, in August 2009. The 26 revised full papers presented together with 1 proof pearl, 4 tool pres.
-
Theorem Proving in Higher Order Logics
Language: English
Published by Springer, Springer Aug 2009, 2009
ISBN 10: 364203358X ISBN 13: 9783642033582
Seller: buchversandmimpf2000, Emtmannsberg, BAYE, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. This item is printed on demand - Print on Demand Titel. Neuware -This book constitutes the refereed proceedings of the 22nd International Conference on Theorem Proving in Higher Order Logics, TPHOLs 200, held in Munich, Germany, in August 2009. The 26 revised full papers presented together with 1 proof pearl, 4 tool presentations, and 3 invited papers were carefully reviewed and selected from 55 submissions. The papers cover all aspects of theorem proving in higher order logics as well as related topics in theorem proving and verification such as formal semantics of specification, modeling, and programming languages, specification and verification of hardware and software, formalization of mathematical theories, advances in theorem prover technology, as well as industrial application of theorem provers.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 532 pp. Englisch.
