Login / Signup
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