Sciweavers

9697 search results - page 157 / 1940
» Intelligent Transportation Systems
Sort
View
164
Voted
ICTAI
1994
IEEE
15 years 11 months ago
Constructs for Building Complex Symbolic-Connectionist Systems
Rajiv Khosla, Tharam S. Dillon
LFCS
1994
Springer
15 years 11 months ago
On Model Checking Infinite-State Systems
Henrik Reif Andersen
JELIA
1990
Springer
15 years 11 months ago
Systems for Knowledge and Beliefs
Wiebe van der Hoek