Email Address * *
Name
Subject *
Message * Theorem Proving in Higher Order Logics 11th International Conference, TPHOLs'98, Canberra, Australia, September 27 - October 1, 1998, Proceedings - 3540649875 - 9783540649878