A computer verified, monadic, functional implementation of the integral

Russell O'Connor Bas Spitters

Published in: CoRR (2008)

Keyphrases

efficient implementation
machine learning
implementation issues
neural network
genetic algorithm
knowledge base
software engineering
general purpose
first order logic
parallel implementation
computer architecture