BibTeX record conf/ijcai/HondaN79

• > Home > conf/ijcai/HondaN79

@inproceedings{DBLP:conf/ijcai/HondaN79,
  author       = {Michio Honda and
                  Reiji Nakajima},
  editor       = {Bruce G. Buchanan},
  title        = {Interactive Theorem Proving on Hierarchically and Modularly Structured
                  Set of Very Many Axioms},
  booktitle    = {Proceedings of the Sixth International Joint Conference on Artificial
                  Intelligence, {IJCAI} 79, Tokyo, Japan, August 20-23, 1979, 2 Volumes},
  pages        = {400--402},
  publisher    = {William Kaufmann},
  year         = {1979},
  timestamp    = {Tue, 20 Aug 2019 16:16:26 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/HondaN79.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}