Logic for Programming, Artificial Intelligence, and ...
Preview
NASA Conference Proceedings, no. CP-2002-211736, August 2002. Konrad
Slind and Joe Hurd, Applications of polytypism in theorem proving, Theorem
Proving in Higher Order Logics, 16th International Conference, TPHOLs 2003,
Rome, ...