Sciweavers

4573 search results - page 19 / 915
» Automated Reasoning
Sort
View
TIME
1999
IEEE
15 years 6 months ago
Introducing Temporal Description Logics
Alessandro Artale, Enrico Franconi