Predicate Calculus.

Shoji Maehara Gaisi Takeuti

Published in: J. Symb. Log. (1971)

Keyphrases

predicate calculus
formal model
first order logic
semantic network
theorem proving
predicate logic
lambda calculus
proof procedure
semantic net
machine learning
theorem prover
heuristic search