Login / Signup
Computer-Assisted Proving of Combinatorial Conjectures Over Finite Domains: A Case Study of a Chess Conjecture.
Predrag Janicic
Filip Maric
Marko Malikovic
Published in:
CoRR (2018)
Keyphrases
</>
computer assisted
computer aided
intraoperative
surgical training
real world
project based learning
case study
foreign language
artificial intelligence
application domains
computer assisted instruction
image processing
learning experience
game playing
grade students
finite automata