The Theorem Prover Using a Parallel Processing System - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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.

This author has not been identified. Look up 'Hitoshi Ogawa' in GoogleThis author has not been identified. Look up 'Tadahiro Kitahashi' in GoogleThis author has not been identified. Look up 'Kokichi Tanaka' in Google

runs on WebDSL