Modelling and Performances Analysis of a Parallel Theorem Prover.

Manfred R. Jobmann Johann Schumann

Published in: SIGMETRICS (1992)

Keyphrases

theorem prover
data analysis
statistical analysis
first order logic
parallel implementation
image analysis
higher order
parallel processing
inference rules
theorem proving
automated reasoning