Login / Signup

A proof-technique in uniform space theory.

Douglas S. BridgesLuminita 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