Higher Order Logic Theorem Proving and Its Application: 7th International Workshop, Valletta, Malta, September 19-22, 1994 : Proceedings (Lecture Notes in Computer Science)
Join now to keep reading!
Your preview has ended! Become a member today to continue reading for Free!