ML Anthology

The Theorem Prover Using a Parallel Processing System

Hitoshi Ogawa, Tadahiro Kitahashi, Kokichi Tanaka
IJCAI 1979 pp. 665-667
/ijcai/1979/ogawa1979ijcai-theorem/
Semantic Scholar

Cite

Text

Ogawa et al. "The Theorem Prover Using a Parallel Processing System." International Joint Conference on Artificial Intelligence, 1979.

Markdown

[Ogawa et al. "The Theorem Prover Using a Parallel Processing System." International Joint Conference on Artificial Intelligence, 1979.](https://mlanthology.org/ijcai/1979/ogawa1979ijcai-theorem/)

BibTeX

@inproceedings{ogawa1979ijcai-theorem,
  title     = {{The Theorem Prover Using a Parallel Processing System}},
  author    = {Ogawa, Hitoshi and Kitahashi, Tadahiro and Tanaka, Kokichi},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {1979},
  pages     = {665-667},
  url       = {https://mlanthology.org/ijcai/1979/ogawa1979ijcai-theorem/}
}