Towards Efficient "Knowledge-Based" Automated Theorem Proving for Non-Standard Logics.

Michael A. McRobbie Robert K. Meyer Paul B. Thistlewaite

Published in: CADE (1988)

Keyphrases

automated theorem proving
theorem prover
classical logic
case study
computationally efficient
cost effective
high level
data structure
expert systems
orders of magnitude
expressive power
computationally expensive
fixed point