Model Checking and Artificial Intelligence electronic resource : 5th International Workshop, MoChArt 2008, Patras, Greece, July 21, 2008, Revised Selected and Invited Papers / edited by Doron A. Peled, Michael Wooldridge

Författare
Greece) (2008 MoChArt 2008 Patrai
Språk
Okänt
Förlag År Ort Om boken ISBN
uuuu-uuuu Utgivningsland okänt / Ej specificerat