Implementing Extensible Theorem Provers (1999)

Cached

Download Links

by Kathi Fisler , Shriram Krishnamurthi , Kathryn E. Gray
Venue:In International Conference on Theorem Proving in Higher-Order Logic: Emerging Trends, Research Report, INRIA Sophia Antipolis
Citations:8 - 6 self