Login / Signup
Translating Spanish into Logic through Logic.
Verónica Dahl
Published in:
Am. J. Comput. Linguistics (1981)
Keyphrases
</>
classical logic
logic programming
multi valued
databases
database systems
modal logic
automated reasoning
real time
predicate logic
proof theory
e learning
knowledge representation
theorem prover
logical framework
set theory
epistemic logic