Login / Signup
Coins and Logic.
Tanya Khovanova
Published in:
CoRR (2018)
Keyphrases
</>
neural network
modal logic
epistemic logic
genetic algorithm
logic programming
predicate logic
formal theory
data sets
databases
information systems
database systems
automated reasoning
classical logic
deontic logic
proof theory