e CIG: Conference Papers


Conference Papers

Autor:Bulling, Nils and Jamroga, Wojciech
Titel:Alternating Epistemic Mu-Calculus
Buchtitel:Proceedings of the 22nd International Joint Conference on Artificial Intelligence (IJCAI)
Jahr:2011
Seiten:109-114
BibTeX-Code:
@inproceedings{BullingJamroga11mu-IJCAI,
author={Bulling, Nils and Jamroga, Wojciech},
title={Alternating Epistemic Mu-Calculus},
booktitle={Proceedings of the 22nd International Joint Conference on Artificial Intelligence (IJCAI)},
year={2011},
pages={109-114},
}


zurück zur Übersicht
 

Kontakt  Suche  Sitemap  Datenschutz  Impressum
© TU Clausthal 2018