Login / Signup
Deduction modulo theory.
Gilles Dowek
Published in:
CoRR (2015)
Keyphrases
</>
inference rules
theoretical framework
computer algebra
information systems
general theory
artificial intelligence
three dimensional
multi agent systems
information theory
theoretical basis
formal theory
e learning
database systems
bayesian networks
theoretical foundation
deductive reasoning