Higher Order Logic Theorem Proving and Its Application: 7th International Workshop, Valletta, Malta, September 19-22, 1994 
Subtitle: Proceedings (Lecture Notes in Computer Science)
Contributors: Juanito Camilleri (Editor)
Publisher: Springer-Verlag
Published: September 1994
Language: eng
Format: Hardcover
Number of pages: 470
ISBN-13: 9780387584508
Subjects: Logic; Automata; Mathematics; Automatic theorem proving; Congresses; Computer Books: General; Science/Mathematics