Login / Signup
An Inductive Proof Of A Result About Bulgarian Solitaire.
Romeo Mestrovic
Published in:
Ars Comb. (2010)
Keyphrases
</>
integer programming
machine learning
knowledge base
inductive reasoning
neural network
artificial intelligence
image sequences
special case
formal proof
expert systems
inductive learning
language independent
inductive inference