1018 search results - page 204 / 204 » Integration with Ontologies |
LPAR
2012
Springer
12 years 1 months ago
2012
Springer
Abstract. The TPTP World is a well established infrastructure supporting research, development, and deployment of Automated Theorem Proving systems. Recently, the TPTP World has be...
GI
2007
Springer
13 years 11 months ago
2007
Springer
: Aufgrund juristisch formulierter und damit h¨aufig schwer verst¨andlicher Pr¨ufungsordnungen haben viele Studierende Probleme, ihr Studium gem¨aß ihrer Pr¨ufungsordnung f...
BMCBI
2007
13 years 5 months ago
2007
Background: A fundamental goal of the U.S. National Institute of Health (NIH) "Roadmap" is to strengthen Translational Research, defined as the movement of discoveries i...