211 search results - page 43 / 43 » The Representation of Program Synthesis in Higher Order Logi... |
SEMWEB
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. Nowadays enterprises request information technologies that leverage structured and unstructured information for providing a single integrated view of business problems in...