Next:
Natural Deduction
Up:
First-Order Languages
Previous:
Solutions to Exercises
Proof Theory
Natural Deduction
Resolution
Converting to Clausal Form
Unification
Unit Resolution
Binary Resolution
Paramodulation
Demodulation
Selmer Bringsjord
1999-04-19
