The Theorem Prover Using a Parallel Processing System.
Hitoshi OgawaTadahiro KitahashiKokichi TanakaPublished in: IJCAI (1979)
Keyphrases
- parallel processing
- theorem prover
- theorem proving
- processing speed
- automated theorem proving
- first order logic
- computational power
- computer algebra
- term rewriting
- inference rules
- formal proof
- distributed processing
- parallel architectures
- parallel programming
- mathematical knowledge
- parallel computers
- proof search
- proof planning
- pc cluster
- natural deduction
- knowledge base
- electronic circuits
- ibm sp
- data parallelism
- boolean algebra
- commodity hardware
- parallel architecture
- parallel computation
- processing units
- knowledge representation
- artificial intelligence