Sciweavers

211 search results - page 43 / 43
» The Representation of Program Synthesis in Higher Order Logi...
Sort
View
SEMWEB
2007
Springer
13 years 11 months ago
Semantic Enterprise Technologies
Abstract. Nowadays enterprises request information technologies that leverage structured and unstructured information for providing a single integrated view of business problems in...
Massimo Ruffolo, Luigi Guadagno, Inderbir Sidhu