Theorem Proving in Higher Order Logics
Subtitle: 18th International Conference, TPHOLs 2005, Oxford, UK, August 22-25, 2005, Proceedings (Lecture Notes in Computer Science)
Contributors: Joe Hurd (Editor); Tom Melham (Editor)
Edition: 1 edition
Publisher: Springer
Published: September 19, 2005
Language: eng
Format: Paperback
Number of pages: 409
ISBN-13: 9783540283720
Subjects: Computer architecture & logic design; Mathematical theory of computation; Programming - Software Development; Logic; Computers; Mathematics; Computer Books: General; Logic Design; Isabelle/HOL; Mathematics / Logic; automated deduction; formal methods; formal verification; hardware verification; higher order logic; Automatic theorem proving; Congresses; Congráes; Dâemonstration automatique; Thâeoráemes