Login / Signup
An Automated Deduction and Its Implementation for Solving Problem of Sequence at University Entrance Examination.
Yumi Wada
Takuya Matsuzaki
Akira Terui
Noriko H. Arai
Published in:
ICMS (2016)
Keyphrases
</>
automated deduction
theorem proving
efficient implementation
theorem prover
e learning
inference rules
case study
active learning
probability distribution
engineering students
constraint satisfaction problems
logic programs
database
relational databases
reinforcement learning
training data
databases