The Semantics of Clocks
(1988) : Smith, Brian Cantwell
DOI: https://doi.org/10.1007/978-94-009-2699-8
#diagram #semantics #ontology #clocks #typology #theorem_proving #time_keeping #time #my_bibtex