The Formal Inverse of the Period-Doubling Sequence.

Narad Rampersad Manon Stipulanti

Published in: CoRR (2018)

Keyphrases

image processing
database
neural network
machine learning
information systems
case study
database systems
mobile robot
state space
logic programs
input data
formal specification