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…
ZVAB.com AHA-BUCH GmbH, Einbeck, Germany [51283250] [Rating: 5 (von 5)] NEW BOOK. Versandkosten:Versandkostenfrei. (EUR 0.00) Details... |
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…
amazon.co.uk Versandkosten:Die angegebenen Versandkosten können von den tatsächlichen Kosten abweichen. (EUR 5.45) Details... |
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…
amazon.de Free Rein Entertainment Gut Versandkosten:Auf Lager. Die angegebenen Versandkosten können von den tatsächlichen Kosten abweichen. (EUR 3.00) Details... |
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…
amazon.de Versandkosten:Die angegebenen Versandkosten können von den tatsächlichen Kosten abweichen. (EUR 3.00) Details... |
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
lehmanns.de Versandkosten:Versand in 10-14 Tagen. (EUR 0.00) Details... |
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…
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…
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…
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…
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
Bibliographische Daten des bestpassenden Buches
Autor: | |
Titel: | |
ISBN-Nummer: |
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 (Zurich)
Detailseite zuletzt geändert am 2024-03-11T08:35:42+01:00 (Zurich)
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
Weitere, andere Bücher, die diesem Buch sehr ähnlich sein könnten:
Neuestes ähnliches Buch:
9781721106981 Theorem Proving In Higher Order Logics (National Aeronaut Administration (NASA))
- 9781721106981 Theorem Proving In Higher Order Logics (National Aeronaut Administration (NASA))
- 9783030036485 Smart Health by Hsinchun Chen Paperback | Indigo Chapters (Hsinchun Chen; Qing Fang; Daniel Zeng; Jiang Wu)
- 9783540283720 Theorem Proving in Higher Order Logics: 18th International Conference, TPHOLs 2005, Oxford, UK, August 22-25, 2005, Proceedings: 3603 (Lecture Notes in Computer Science, 3603) (Joe Hurd; Tom Melham)
- 9780387540924 ADA: the Choice for '92: Ada-Europe International Conference Athens, Greece, May 13-17, 1991 Proceedings (Lecture Notes in Computer Science 499) (Christodoulakis, Dimitrios (ed.))
< zum Archiv...