Deduction: P. N. Johnson-Laird and M. J. Baird.

Published in: Knowl. Based Syst. (1992)

Keyphrases

theorem proving
inference rules
data sets
databases
artificial intelligence
search space
theorem prover
proof procedure
automated theorem proving