Releases von Konrad Slind

Cover for Konrad Slind · Theorem Proving in Higher Order Logics: 17th International Conference, Tphols 2004, Park City, Utah, Usa, September 14-17, 2004, Proceedings - Lecture Notes in Computer Science (Taschenbuch) (2004)
Taschenbuch
Theorem Proving in Higher Order ...
Konrad Slind