The PCS Prover in THEOREMA.

Bruno Buchberger

Published in: EUROCAST (2001)

Keyphrases

theorem proving
theorem prover
personal computer
automated theorem proving
high end
databases
pc cluster
neural network
knowledge representation
general purpose
logic programming
probability distribution
data sources
pattern recognition
cooperative
image processing
knowledge base