![](/img/cover-not-exists.png)
[Lecture Notes in Computer Science] Artificial Intelligence and Symbolic Computation Volume 11110 (13th International Conference, AISC 2018, Suzhou, China, September 16–19, 2018, Proceedings) || Deciding Extended Modal Logics by Combining State Space Generation and SAT Solving
Fleuriot, Jacques, Wang, Dongming, Calmet, JacquesVolume:
10.1007/97
Year:
2018
Language:
english
DOI:
10.1007/978-3-319-99957-9_8
File:
PDF, 888 KB
english, 2018