Sciweavers

9490 search results - page 103 / 1898
» Slow Intelligence Systems
Sort
View
LFCS
1994
Springer
15 years 10 months ago
On Model Checking Infinite-State Systems
Henrik Reif Andersen
JELIA
1990
Springer
15 years 10 months ago
Systems for Knowledge and Beliefs
Wiebe van der Hoek