Goals for a Theory of Deduction: Reply to Johnson-Laird.

Published in: Minds Mach. (1997)

Keyphrases

theoretical framework
computer algebra
formal theory
artificial intelligence
decision trees
theoretical foundation
theorem prover
case study
optimal solution
email
general theory