Next:
Predicate Calculus Example (p.
Predicate Calculus Example (p. 166-168 Tanimoto)
Putting a Formula into Clause Form (p. 285 Tanimoto)
About this document ...
Randy Latimer 2000-12-21