eds.) (2000) Theorem Proving (0)

by M Aagaard, J Harrison
Venue:in Higher Order Logics: 13th International Conference, TPHOLs 2000, Volume 1869 of Lecture Notes in Computer Science