Ruitenburg's Theorem mechanized and contextualized.

Published in: CoRR (2024)

Keyphrases

von neumann
artificial intelligence
genetic algorithm
special case
data sets
data mining
knowledge base
image processing
web services
pairwise
multiresolution
domain knowledge
dynamic programming