Extensional Set Equality in the Calculus of Constructions.

Jonathan P. Seldin

Published in: J. Log. Comput. (2001)

Keyphrases

user defined
neural network
database
data mining
small number
hierarchical structure
real time
real world
information retrieval
feature selection