Sciweavers

211 search results - page 43 / 43
» The Representation of Program Synthesis in Higher Order Logi...
Sort
View
SEMWEB
2007
Springer
16 years 10 days 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