Sciweavers

Share
3773 search results - page 1 / 755
» Logical Reasoning
Sort
View
CADE
2010
Springer
9 years 11 months ago
On Hierarchical Reasoning in Combinations of Theories
Carsten Ihlemann, Viorica Sofronie-Stokkermans
CADE
2010
Springer
10 years 2 months ago
Tractable Extensions of the Description Logic EL with Numerical Datatypes
Despoina Magka, Yevgeny Kazakov, Ian Horrocks
books