Login / Signup
Abstract Control Structures And The Semantics Of Quantifiers.
Steven Cushing
Published in:
EACL (1983)
Keyphrases
</>
control structures
control structure
logic programming
higher level
semantic information
first order logic
propositional dynamic logic
neural network
high level
natural language
graphical representation
formal semantics
image interpretation