---
title: "The Theorem Prover Using a Parallel Processing System"
authors:
  - "Hitoshi Ogawa"
  - "Tadahiro Kitahashi"
  - "Kokichi Tanaka"
doi: ""
url: "https://ijcai.org/proceedings/1979/146"
pdf: "https://ijcai.org/proceedings/1979/0146.pdf"
venue: "Proceedings of the Sixth International Joint Conference on Artificial Intelligence"
year: 1979
pages: ""
track: ""
keywords:
---

# The Theorem Prover Using a Parallel Processing System

Hitoshi Ogawa, Tadahiro Kitahashi, Kokichi Tanaka

*Proceedings of the Sixth International Joint Conference on Artificial Intelligence*.

## Abstract