Mathias Broxvall

A Study in the Computational Complexity of Temporal Reasoning.
. Linköping University, Sweden, (2002)base-search.net (ftlinkoepinguniv:oai:DiVA.org:liu-4984).
  •  Doctoral advisor:
  •  First reviewer:
more

No resources found