A constructive proof of Simpson's Rule.

Thierry Coquand Bas Spitters

Published in: J. Log. Anal. (2012)

Keyphrases

association rules
databases
rule sets
rule induction
rule discovery
proof planning
genetic algorithm
multiscale
search algorithm
hidden markov models
rule learning