ML Anthology

Honda, Michio

1 publications

IJCAI 1979 Interactive Theorem Proving on Hierarchically and Modularly Structured Set of Very Many Axioms Michio Honda, Reiji Nakajima