Format:
Online-Ressource (VIII, 337 p. Also available online)
,
digital
Edition:
Springer eBook Collection. Computer Science
ISBN:
9783540301424
,
3540230173
,
9783540230175
Series Statement:
Lecture Notes in Computer Science 3223
Content:
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
Note:
Literaturangaben
Additional Edition:
ISBN 9783540230175
Additional Edition:
Erscheint auch als Druck-Ausgabe ISBN 9783662211625
Additional Edition:
Erscheint auch als Druck-Ausgabe ISBN 9783540230175
Language:
English
Subjects:
Computer Science
Keywords:
Automatisches Beweisverfahren
;
HOL
;
Formale Sprache
;
Deduktion
;
Automatisches Beweisverfahren
;
Programmverifikation
;
Logischer Entwurf
;
Konferenzschrift
URL:
Volltext
(lizenzpflichtig)
