General Topology - Ryszard Engelking
© Copyright 2009 TopQuadrant Inc. Slide 1 QUDT: An OWL Ontology for Measurable Quantities, Units, Dimension Systems, and Dimensional Data Types James Chip.
Clafer Semantics by Example Michał Antkiewicz [email protected] 2015.01.19 University of Waterloo.
Webdamlog and Contradictions
Ryszard Engelking General Topology 1989
IENG 313 Operation Research I