Sciweavers

12993 search results - page 31 / 2599
» Artificial Intelligence in China
Sort
View
APN
2009
Springer
14 years 2 months ago
DSSZ-MC - A Tool for Symbolic Analysis of Extended Petri Nets
Monika Heiner, Martin Schwarick, Alexej Tovchigrec...
AUSAI
2009
Springer
14 years 2 months ago
Decomposition of Multi-player Games
Dengji Zhao, Stephan Schiffel, Michael Thielscher