Logo - Fakultät für Mathematik und Informatik Illustration

2003-2

Titel:

An Application of Monodic First-Order Temporal Logic to Reasoning about Knowledge

AutorInnen: Bernhard Heinemann
Kategorie: Konferenzbandbeiträge
erschienen in: M. Reynolds, A. Sattar (Eds.): TIME-ICTL 2003, Cairns, Queensland, Australia, pp. 10-16. IEEE Computer Society, Los Alamitos, CA, 2003
Bernhard Heinemann | 01.12.2009
FernUni-Logo FernUniversität in Hagen, Fakultät für Mathematik und Informatik, Lehrgebiet Algorithmen und Komplexität, 58084 Hagen, Tel.: +49 2331 987-2823