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