Vol-1751⫷ Vol-1752 ⫸Vol-1753
urn:nbn:de:0074-1752-0

Copyright © 2016 for the individual papers by the papers' authors. Copyright © 2016 for the volume as a collection by its editors. This volume and its papers are published under the Creative Commons License Attribution 4.0 International (CC BY 4.0).

Vol-1752/paper26⫷Vol-1752/paper27 ⫸Vol-1752/paper28

Формальная семантика языка разрешения сущностей и слияния данных и ее применение для верификации потоков работ интеграции данных (Formal Semantics of a Languge for Entity Resolution and Data Fusion and its Application for Verification of Data Integration Workflows)