Combining Testing and Proving in Dependent Type Theory.

Peter Dybjer Qiao Haiyan Makoto Takeyama

Published in: TPHOLs (2003)

Keyphrases

theoretical basis
theoretical framework
real world
data mining
artificial intelligence
three dimensional
database systems
support vector
test set
theoretical foundation
information theory
conceptual framework
combining multiple
item response theory