Umfang:
Online-Ressource (VIII, 337 p. Also available online)
,
digital
Ausgabe:
Springer eBook Collection. Computer Science
ISBN:
9783540301424
,
3540230173
,
9783540230175
Serie:
Lecture Notes in Computer Science 3223
Inhalt:
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
Anmerkung:
Literaturangaben
Weitere Ausg.:
ISBN 9783540230175
Weitere Ausg.:
Erscheint auch als Druck-Ausgabe ISBN 9783662211625
Weitere Ausg.:
Erscheint auch als Druck-Ausgabe ISBN 9783540230175
Sprache:
Englisch
Fachgebiete:
Informatik
Schlagwort(e):
Automatisches Beweisverfahren
;
HOL
;
Formale Sprache
;
Deduktion
;
Automatisches Beweisverfahren
;
Programmverifikation
;
Logischer Entwurf
;
Konferenzschrift
URL:
Volltext
(lizenzpflichtig)
