An Integral Theorem Prover And The Role Of Proof Planning.
James D. BakerShariar Zand-BiglariPublished in: J. Autom. Reason. (1992)
Keyphrases
- proof planning
- theorem prover
- theorem proving
- proof search
- concept formation
- automated reasoning
- automated theorem proving
- building intelligent
- first order logic
- inference rules
- formal proof
- term rewriting
- formal semantics
- mathematical knowledge
- boolean algebra
- artificial intelligence
- signal processing
- expert systems