Theorem Proving in Higher Order Logics: 9th International Conference, Tphols '96 Turku, Finland, August 26-30, 1996 
Subtitle: Proceedings (Lecture Notes in Computer Science)
Contributors: J. Von Wright (Editor); Jim Grundy (Editor); J. Harrison (Editor)
Publisher: Springer
Published: June 1996
Language: eng
Format: Paperback
Number of pages: 447
ISBN-13: 9783540615873
Subjects: Mathematical logic; Mathematical theory of computation; Computers; Automata; Computers - General Information; Machine Theory; Computer Books: General; Logic; Computer Science; Automatic theorem proving; Congresses