editors. Theorem Proving (2000)

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