Zhenhua Duan

An extended interval temporal logic and a framing technique for temporal logic programming.
. Newcastle University, Newcastle upon Tyne, UK, (1996)British Library, EThOS.
  •  Doktorvater / Doktormutter:
  •  Erstgutachter_in:
  •  Gutachter_in:
  •  Betreuer_in:
  •  Autor_in: Zhenhua Duan
  •  Herausgeber_in:
  •  Andere:
mehr

Keine Ressourcen gefunden