A Prover for Parallel Processes.

Masahiro Hirata Toshio Nishimura

Published in: IJCAI (1979)

Keyphrases

artificial intelligence
parallel processing
theorem proving
massively parallel
data sets
parallel implementation
neural network
social networks
information systems
process model
theorem prover
shared memory
parallel computation
parallel execution
parallel hardware
distributed memory machines