Ackermann's Function in Iterative Form: A Proof Assistant Experiment.

Lawrence C. Paulson

Published in: CoRR (2021)

Keyphrases

search algorithm
test bed
data sets
computer vision
feature selection
image processing
multimedia
database systems
image sequences
preprocessing
data driven
theorem proving