A proof-technique in uniform space theory.

Douglas S. Bridges Luminita Vîta

Published in: J. Symb. Log. (2003)

Keyphrases

computational model
theoretical basis
data sets
theoretical framework
theorem proving
higher dimensional
formal theory
real time
data mining
artificial intelligence
high dimensional
decision theory
general theory