Title: Higher Order Logic Theorem Proving and Its Application: 7th International Workshop, Valletta, Malta, September 19-22, 1994
First published: September 1994
Subjects: Automatic theorem proving, Congresses