Login / Signup
Reducibilities in Intuitionistic Topology.
Dirk van Dalen
Published in:
J. Symb. Log. (1968)
Keyphrases
</>
linear logic
topology preserving
interval valued
classical logic
theorem prover
fuzzy set theory
real time
topology preservation
cell complexes
natural deduction
rough sets
knowledge representation
expert systems
data structure
feature selection
machine learning
neural network