Theorem Proving in Higher Order Logics
Subtitle: 11th International Conference, TPHOLs'98, Canberra, Australia, September 27 - October 1, 1998, Proceedings (Lecture Notes in Computer Science)
Contributors: Jim Grundy (Editor); Malcolm Newey (Editor)
Edition: 1 edition
Publisher: Springer
Published: October 30, 1998
Language: eng
Format: Paperback
Number of pages: 497
ISBN-13: 9783540649878
Subjects: Artificial intelligence; Computer Programming; Computer architecture & logic design; Logic Design; Computers; Computers - General Information; Programming - General; Computer Books: General; Machine Theory; Logic, Symbolic and mathematic; Computers / Logic Design; Automatic theorem proving; Congresses; Logic, Symbolic and mathematical
First sentence: Admittedly, lexical analysis is not exactly safety critical.