ML Anthology

Nakajima, Reiji

1 publications

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