An interactive system for proving theorems in the predicate calculus.

Jacques Cohen Ann Rubin

Published in: SYMSAC (1971)

Keyphrases

predicate calculus
first order logic
formal model
theorem proving
semantic network
lambda calculus
predicate logic
computer graphics
user interaction
proof procedure
data mining
domain specific
inference rules
software engineering
low level
semantic net
expert systems