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.
No reviews for this publication, yet.