The Isabelle Framework.

Makarius Wenzel Lawrence C. Paulson Tobias Nipkow

Published in: TPHOLs (2008)

Keyphrases

data sets
main contribution
real time
artificial intelligence
theoretical framework
databases
genetic algorithm
information systems
image segmentation
preprocessing
hidden markov models
logic programs
conceptual framework
framework enables