A logic road from special relativity to general relativity.

Hajnal Andréka Judit X. Madarász István Németi Gergely Székely

Published in: Synth. (2012)

Keyphrases

special case
data sets
logic programming
modal logic
formal logic
real time
case study
expert systems
classical logic
urban traffic