Login / Signup
Conversion of Predicate-Calculus Axioms, Viewed as Non-Deterministic Programs, to Corresponding Deterministic Programs.
Erik Sandewall
Published in:
IJCAI (1973)
Keyphrases
</>
database languages
predicate calculus
first order logic
computer programs
incomplete information
temporal logic