Partial Functions in an Impredicative Simple Theory of Types.

Paul C. Gilmore

Published in: TABLEAUX (1999)

Keyphrases

theoretical basis
data mining
theoretical framework
data sets
neural network
real time
real world
multimedia
multi agent systems
expert systems
highly reliable