External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Interactive Theorem Proving on Hierarchically and Modularly Structured Set of Very Many Axioms

Michio Honda, Reiji Nakajima. Interactive Theorem Proving on Hierarchically and Modularly Structured Set of Very Many Axioms. In Bruce G. Buchanan, editor, Proceedings of the Sixth International Joint Conference on Artificial Intelligence, IJCAI 79, Tokyo, Japan, August 20-23, 1979, 2 Volumes. pages 400-402, William Kaufmann, 1979.

Authors

Michio Honda

This author has not been identified. Look up 'Michio Honda' in Google

Reiji Nakajima

This author has not been identified. Look up 'Reiji Nakajima' in Google
runs on