Niven's Theorem.

Artur Kornilowicz Adam Naumowicz

Published in: Formaliz. Math. (2016)

Keyphrases

data sets
artificial intelligence
database systems
cooperative
hidden markov models
scheduling problem
sufficient conditions