Sciweavers

29 search results - page 1 / 6
» dlog 1996
Sort
View
99
Voted
DLOG
1996
15 years 4 months ago
Finite Model Reasoning in Description Logics
Diego Calvanese