3639 search results - page 17 / 728 » Experiments on IPv6 Testing |
ICSE
2009
IEEE-ACM
15 years 7 months ago
2009
IEEE-ACM
ITC
1997
IEEE
15 years 7 months ago
1997
IEEE
127
click to vote
TABLEAUX
2000
Springer
15 years 6 months ago
2000
Springer
Abstract. This paper presents the results of applying RACE, a description logic system for ALCNHR+ , to modal logic SAT problems. Some aspects of the RACE architecture are discusse...
MUC
1991
15 years 6 months ago
1991
SMR
2008
15 years 2 months ago
2008