The Theorem Prover Using a Parallel Processing System
Proceedings of the Sixth International Joint Conference on Artificial Intelligence. .
Abstract
Hitoshi Ogawa, Tadahiro Kitahashi, and Kokichi Tanaka. 1979. The Theorem Prover Using a Parallel Processing System. In Proceedings of the Sixth International Joint Conference on Artificial Intelligence, IJCAI-79. IJCAI, https://ijcai.org/proceedings/1979/146
Ogawa, H., Kitahashi, T., & Tanaka, K. (1979). The Theorem Prover Using a Parallel Processing System. In Proceedings of the Sixth International Joint Conference on Artificial Intelligence, IJCAI-79. IJCAI. https://ijcai.org/proceedings/1979/146
@inproceedings{ijcai1979p146,
title = {The Theorem Prover Using a Parallel Processing System},
author = {Ogawa, Hitoshi and Kitahashi, Tadahiro and Tanaka, Kokichi},
booktitle = {Proceedings of the Sixth International Joint Conference on
Artificial Intelligence, {IJCAI-79}},
publisher = {International Joint Conferences on Artificial Intelligence},
editor = {Bruce G. Buchanan},
year = {1979},
month = {8},
url = {https://ijcai.org/proceedings/1979/146},
}
TY - CPAPER TI - The Theorem Prover Using a Parallel Processing System AU - Ogawa, Hitoshi AU - Kitahashi, Tadahiro AU - Tanaka, Kokichi T2 - Proceedings of the Sixth International Joint Conference on Artificial Intelligence, IJCAI-79 PB - International Joint Conferences on Artificial Intelligence PY - 1979 UR - https://ijcai.org/proceedings/1979/146 ER -Copied
Machine-readable versions of this paper, for tools and AI agents:
