Theorem Proving in Higher Order Logics
Subtitle: 14th International Conference, TPHOLs 2001, Edinburgh, Scotland, UK, September 3-6, 2001. Proceedings (Lecture Notes in Computer Science)
Contributors: Richard J. Boulton (Editor); Paul B. Jackson (Editor)
Edition: 1 edition
Publisher: Springer
Published: October 2, 2001
Language: eng
Format: Paperback
Number of pages: 395
ISBN-13: 9783540425250
Subjects: Artificial intelligence; Mathematical theory of computation; Programming languages; Automata; Computers; Computers - General Information; Computer Books: Languages; Artificial Intelligence - General; General; Machine Theory; Mathematics / Logic; Theorem priving; automated deduction; formal methods; formal verification; hardware verification; higher order logic; Computer Science; Automatic theorem proving; Congresses