Concepedia
2006 · 15 citations · 0 references
Automated ReasoningTopological PropertyXy MappingsSet-theoretic Topology