Theorem Proving in Higher Order Logics
Subtitle: 15th International Conference, TPHOLs 2002, Hampton, VA, USA, August 20-23, 2002. Proceedings (Lecture Notes in Computer Science)
Contributors: Victor A. Carreno (Editor); Cesar A. Munoz (Editor); Sofiene Tahar (Editor)
Edition: 1 edition
Publisher: Springer
Published: September 17, 2002
Language: eng
Format: Paperback
Number of pages: 349
ISBN-13: 9783540440390
Subjects: Computer architecture & logic design; Mathematical theory of computation; Machine Theory; Computer Science; Automata; Computers; Computers - General Information; Logic Design; Computer Books: General; Congresses; Programming - General; Computers / Programming / Software Development; automated deduction; formal methods; formal verification; hardware verification; higher order logic; mathematical logic; Automatic theorem proving