A Mathematical Type for Physical Variables.

Joseph B. Collins

Published in: AISC/MKM/Calculemus (2008)

Keyphrases

variable selection
real time
information retrieval
knowledge base
case study
mobile robot
causal relationships
universally quantified