Theorem Proving in Higher Order Logics
Subtitle: 12th International Conference, TPHOLs'99, Nice, France, September 14-17, 1999, Proceedings (Lecture Notes in Computer Science)
Contributors: Yves Bertot (Editor); Gilles Dowek (Editor); Andre Hirschowitz (Editor); Christine Paulin (Editor); Laurent Thery (Editor)
Edition: 1 edition
Publisher: Springer
Published: September 29, 1999
Language: eng
Format: Paperback
Number of pages: 359
ISBN-13: 9783540664635
Subjects: Applied mathematics; Mathematical & statistical software; Computers; Congresses; Automatic theorem proving; Logic Design; Automata; Computers - General Information; Computer Books: Languages; General; Artificial Intelligence - General; Machine Theory; Formal Specification; Formal Verification; Hardware Design; Higher-Order Logics; Mathematics / Logic; Theorem Proving; Computer Science