- 5 Ergebnisse
Kleinster Preis: € 52,96, größter Preis: € 75,88, Mittelwert: € 67,35
1
Theorem Proving in Higher Order Logics : 17th International Conference, TPHOLS 2004, Park City, Utah, USA, September 14-17, 2004, Proceedings - Konrad Slind
Bestellen
bei ZVAB.com
€ 52,96
Versand: € 0,001
Bestellen
Details beim Anbieter
gesponserter Link
Konrad Slind:

Theorem Proving in Higher Order Logics : 17th International Conference, TPHOLS 2004, Park City, Utah, USA, September 14-17, 2004, Proceedings - Taschenbuch

2004, ISBN: 3540230173

[EAN: 9783540230175], Neubuch, [SC: 0.0], [PU: Springer Berlin Heidelberg], INTELLIGENZ / KÜNSTLICHE INTELLIGENZ; KI; - AI; LOGIK; PHILOSOPHIE AUTOMAT; ISABELLE; AUTOMATEDDEDUCTION; COMPU… Mehr…

NEW BOOK. Versandkosten:Versandkostenfrei. (EUR 0.00) AHA-BUCH GmbH, Einbeck, Germany [51283250] [Rating: 5 (von 5)]
zuklappen (X)
2
Theorem Proving in Higher Order Logics: 17th International Conference, TPHOLS 2004, Park City, Utah, USA, September 14-17, 2004, Proceedings: 3223 (Lecture Notes in Computer Science, 3223)
Bestellen
bei amazon.co.uk
£ 53,98
(ca. € 61,29)
Versand: € 5,451
Bestellen
Details beim Anbieter
gesponserter Link
Theorem Proving in Higher Order Logics: 17th International Conference, TPHOLS 2004, Park City, Utah, USA, September 14-17, 2004, Proceedings: 3223 (Lecture Notes in Computer Science, 3223) - Taschenbuch

2004, ISBN: 9783540230175

Editor: Slind, Konrad, Editor: Bunker, Annette, Editor: Gopalakrishnan, Ganesh C. Springer, Paperback, Auflage: 2004, 348 Seiten, Publiziert: 2004-09-01T00:00:01Z, Produktgruppe: Book, He… Mehr…

Versandkosten:Die angegebenen Versandkosten können von den tatsächlichen Kosten abweichen. (EUR 5.45)
zuklappen (X)
3
Theorem Proving in Higher Order Logics: 17th International Conference, TPHOLS 2004, Park City, Utah, USA, September 14-17, 2004, Proceedings (Lecture Notes in Computer Science, 3223, Band 3223) - Gopalakrishnan, Ganesh C. Bunker, Annette, Slind, Konrad
Bestellen
bei amazon.de
€ 75,88
Versand: € 3,001
Bestellen
Details beim Anbieter
gesponserter Link
Gopalakrishnan, Ganesh C. Bunker, Annette, Slind, Konrad:
Theorem Proving in Higher Order Logics: 17th International Conference, TPHOLS 2004, Park City, Utah, USA, September 14-17, 2004, Proceedings (Lecture Notes in Computer Science, 3223, Band 3223) - Taschenbuch

2008

ISBN: 9783540230175

Springer, Taschenbuch, Auflage: 2004, 348 Seiten, Publiziert: 2008-06-13T00:00:01Z, Produktgruppe: Buch, Hersteller-Nr.: Illustrations, 1.1 kg, Informatik, IT-Ausbildung & -Berufe, Comput… Mehr…

Gut Versandkosten:Auf Lager. Die angegebenen Versandkosten können von den tatsächlichen Kosten abweichen. (EUR 3.00) Free Rein Entertainment
zuklappen (X)
4
Theorem Proving in Higher Order Logics: 17th International Conference, TPHOLS 2004, Park City, Utah, USA, September 14-17, 2004, Proceedings (Lecture Notes in Computer Science, 3223, Band 3223) - Gopalakrishnan, Ganesh C. Bunker, Annette, Slind, Konrad
Bestellen
bei amazon.de
€ 71,74
Versand: € 3,001
Bestellen
Details beim Anbieter
gesponserter Link
Gopalakrishnan, Ganesh C. Bunker, Annette, Slind, Konrad:
Theorem Proving in Higher Order Logics: 17th International Conference, TPHOLS 2004, Park City, Utah, USA, September 14-17, 2004, Proceedings (Lecture Notes in Computer Science, 3223, Band 3223) - Taschenbuch

2008, ISBN: 9783540230175

Springer, Taschenbuch, Auflage: 2004, 348 Seiten, Publiziert: 2008-06-13T00:00:01Z, Produktgruppe: Buch, Hersteller-Nr.: Illustrations, 1.1 kg, Informatik, IT-Ausbildung & -Berufe, Comput… Mehr…

Versandkosten:Die angegebenen Versandkosten können von den tatsächlichen Kosten abweichen. (EUR 3.00)
zuklappen (X)
5
Theorem Proving in Higher Order Logics - Konrad Slind; Annette Bunker; Ganesh C. Gopalakrishnan
Bestellen
bei lehmanns.de
€ 74,89
Versand: € 0,001
Bestellen
Details beim Anbieter
gesponserter Link
Konrad Slind; Annette Bunker; Ganesh C. Gopalakrishnan:
Theorem Proving in Higher Order Logics - Erstausgabe

2004, ISBN: 9783540230175

Taschenbuch

17th International Conference, TPHOLS 2004, Park City, Utah, USA, September 14-17, 2004, Proceedings, Buch, Softcover, [PU: Springer Berlin], Springer Berlin, 2004

Versandkosten:Versand in 10-14 Tagen. (EUR 0.00)
zuklappen (X)
1Da einige Plattformen keine Versandkonditionen übermitteln und diese vom Lieferland, dem Einkaufspreis, dem Gewicht und der Größe des Artikels, einer möglichen Mitgliedschaft der Plattform, einer direkten Lieferung durch die Plattform oder über einen Drittanbieter (Marketplace), etc. abhängig sein können, ist es möglich, dass die von eurobuch angegebenen Versandkosten nicht mit denen der anbietenden Plattform übereinstimmen.

Bibliographische Daten des bestpassenden Buches

Details zum Buch
Theorem Proving in Higher Order Logics
Autor:
Titel:
ISBN-Nummer:

9783540230175


This book constitutes the refereed proceedings of the 17th International Conference on Theorem Proving in Higher Order Logics, TPHOLs 2004, held in Park City, Utah, USA, in September 2004.The 21 revised full papers presented together with 2 invited papers were carefully reviewed and selected from 42 submissions. Among the topics addressed are theorem proving, verification, inductive types, automated deduction, mechanized proofs, mathematical logic, proof theory, type systems, computability, program verification, ACL, Cop, Isabelle/HOL, recursive functions, integration theory, machine code safety certification, and abstraction.

Detailangaben zum Buch - Theorem Proving in Higher Order Logics


EAN (ISBN-13): 9783540230175
ISBN (ISBN-10): 3540230173
Gebundene Ausgabe
Taschenbuch
Erscheinungsjahr: 2004
Herausgeber: Springer Berlin
352 Seiten
Gewicht: 0,532 kg
Sprache: eng/Englisch

Buch in der Datenbank seit 2007-01-31T18:12:33+01:00 (Vienna)
Detailseite zuletzt geändert am 2024-03-11T08:35:42+01:00 (Vienna)
ISBN/EAN: 9783540230175

ISBN - alternative Schreibweisen:
3-540-23017-3, 978-3-540-23017-5
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: gopalakrishnan ganesh, just konrad, konrad most, bunke, bünker, bunker, bunk, mcmillan, ken davis
Titel des Buches: 2004, notes, utah, the city park, theorem proving

Daten vom Verlag:

Autor/in: Konrad Slind; Annette Bunker; Ganesh C. Gopalakrishnan
Titel: Lecture Notes in Computer Science; Theorem Proving in Higher Order Logics - 17th International Conference, TPHOLS 2004, Park City, Utah, USA, September 14-17, 2004, Proceedings
Verlag: Springer; Springer Berlin
340 Seiten
Erscheinungsjahr: 2004-09-01
Berlin; Heidelberg; DE
Sprache: Englisch
53,49 € (DE)
54,99 € (AT)
59,00 CHF (CH)
Available
VIII, 340 p.

BC; Hardcover, Softcover / Informatik, EDV/Informatik; Künstliche Intelligenz; Verstehen; Informatik; Automat; Isabelle; automated deduction; computability; logic; proof theory; proving; theorem proving; verification; Artificial Intelligence; Theory of Computation; Computer System Implementation; Formal Languages and Automata Theory; Computer Science Logic and Foundations of Programming; Software Engineering; Theoretische Informatik; Systemanalyse und -design; Software Engineering; EA

Error Analysis of Digital Filters Using Theorem Proving.- Verifying Uniqueness in a Logical Framework.- A Program Logic for Resource Verification.- Proof Reuse with Extended Inductive Types.- Hierarchical Reflection.- Correct Embedded Computing Futures.- Higher Order Rippling in IsaPlanner.- A Mechanical Proof of the Cook-Levin Theorem.- Formalizing the Proof of the Kepler Conjecture.- Interfacing Hoare Logic and Type Systems for Foundational Proof-Carrying Code.- Extensible Hierarchical Tactic Construction in a Logical Framework.- Theorem Reuse by Proof Term Transformation.- Proving Compatibility Using Refinement.- Java Program Verification via a JVM Deep Embedding in ACL2.- Reasoning About CBV Functional Programs in Isabelle/HOL.- Proof Pearl: From Concrete to Functional Unparsing.- A Decision Procedure for Geometry in Coq.- Recursive Function Definition for Types with Binders.- Abstractions for Fault-Tolerant Distributed System Verification.- Formalizing Integration Theory with an Application to Probabilistic Algorithms.- Formalizing Java Dynamic Loading in HOL.- Certifying Machine Code Safety: Shallow Versus Deep Embedding.- Term Algebras with Length Function and Bounded Quantifier Alternation.
Includes supplementary material: sn.pub/extras
< zum Archiv...