On Definitions of Constants and Types in HOL.

Published in: J. Autom. Reason. (2016)

Keyphrases

data sets
neural network
formal methods
databases
information retrieval
genetic algorithm
three dimensional
data structure
artificial neural networks
evolutionary algorithm
theorem proving