Sciweavers

8911 search results - page 98 / 1783
» Intelligent Systems for Tourism
Sort
View
LFCS
1994
Springer
15 years 7 months ago
On Model Checking Infinite-State Systems
Henrik Reif Andersen
JELIA
1990
Springer
15 years 7 months ago
Systems for Knowledge and Beliefs
Wiebe van der Hoek