Higher Order Logic Theorem Proving and Its Applications
Subtitle: 7th International Workshop, Valletta, Malta, September 19-22, 1994. Proceedings (Lecture Notes in Computer Science)
Contributors: Thomas F. Melham (Editor); Juanito Camilleri (Editor)
Edition: 1 edition
Publisher: Springer
Published: October 21, 1994
Language: eng
Format: Paperback
Number of pages: 470
ISBN-13: 9783540584506
Subjects: Mathematical logic; Mathematical theory of computation; Science/Mathematics; Logic; Mathematics; Computers - General Information; Artificial Intelligence - General; Machine Theory; Automatisches Beweisen; Formal Methods; Formale Methoden; HOL Systems; HOL-System; Higher Order Logic; Höherstufige Logik; Mathematics / Logic; Mathematische Logik; Automatic theorem proving; Congresses