2586 search results - page 518 / 518 » Automatic Abstraction for Congruences |
LPNMR
2005
Springer
14 years 24 days ago
2005
Springer
Abstract. The paper presents INFOMIX a successful application of ASP technology to the domain of Data Integration. INFOMIX is a novel system which supports powerful information int...