Sciweavers

Share
4628 search results - page 1 / 926
» Automated Reasoning
Sort
View
DLOG
2006
9 years 7 months ago
Automated Benchmarking of Description Logic Reasoners
Tom Gardiner, Ian Horrocks, Dmitry Tsarkov
books