Login / Signup
Twenty-First Annual Meeting of the Association for Symbolic Logic.
L. Gal
Published in:
J. Symb. Log. (1957)
Keyphrases
</>
high level
predicate logic
logic programming
classical logic
meeting room
automated reasoning
defeasible logic
database
neural network
multi party
databases
multi agent systems
modal logic
multi valued
set theory
binary decision diagrams