Releases von Thomas F Melham

Cover for Thomas F Melham · Higher Order Logic Theorem Proving and Its Applications: 7th International Workshop, Valletta, Malta, September 19-22, 1994. Proceedings (International Workshop, Valletta, Malta, September 19-22, 1944 - Proceedings) - Lecture Notes in Computer Science (Taschenbuch) (1994)
Taschenbuch
Higher Order Logic Theorem Provi...
Thomas F Melham