Hitoshi Ogawa, Tadahiro Kitahashi, Kokichi Tanaka. The Theorem Prover Using a Parallel Processing System. 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 665-667, William Kaufmann, 1979.
@inproceedings{OgawaKT79,
title = {The Theorem Prover Using a Parallel Processing System},
author = {Hitoshi Ogawa and Tadahiro Kitahashi and Kokichi Tanaka},
year = {1979},
researchr = {https://researchr.org/publication/OgawaKT79},
cites = {0},
citedby = {0},
pages = {665-667},
booktitle = {Proceedings of the Sixth International Joint Conference on Artificial Intelligence, IJCAI 79, Tokyo, Japan, August 20-23, 1979, 2 Volumes},
editor = {Bruce G. Buchanan},
publisher = {William Kaufmann},
isbn = {0-934613-47-8},
}