Releases med 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 (Pocketbok) (2004)
Pocketbok
Theorem Proving in Higher Order ...
Konrad Slind