Yazar
Kifer, M. (Michael), 1954-, editor, author.
Abstract with links to full text http://dx.doi.org/10.1145/3191315
Format:
Electronic Resources
Alıntı:
model checking -- 8.3 Infinite-state model checking -- 8.4 Simple planning via tabled search -- 8.5
View Other Search Results
Yazar
Jacobson, Ivar, author.
Abstract with links to full text http://dx.doi.org/10.1145/3277669
Format:
Electronic Resources
Alıntı:
8. Applying Essence in the small--playing serious games -- 8.1. Progress poker -- 8.2. Chasing the
View Other Search Results