Login / Signup
A Simple Proof of the Skolem-Mahler-Lech Theorem.
Georges Hansel
Published in:
ICALP (1985)
Keyphrases
</>
interactive theorem proving
social networks
first order logic
database
neural network
machine learning
learning algorithm
three dimensional
multiscale
reinforcement learning
video sequences
cooperative
digital libraries
preprocessing