Executable Modal and Temporal Logics electronic resource : IJCAI '93 Workshop, Chambery, France, August 28, 1993. Proceedings / edited by Michael Fisher, Richard Owens

Författare
International Joint Conference on Artificial Intelligence
Språk
Okänt
Förlag År Ort Om boken ISBN
uuuu-uuuu Utgivningsland okänt / Ej specificerat