![](/img/cover-not-exists.png)
Composition of Semantic Web services using Linear Logic theorem proving
Jinghai Rao, Peep Küngas, Mihhail MatskinVolume:
31
Year:
2006
Language:
english
Pages:
21
DOI:
10.1016/j.is.2005.02.005
File:
PDF, 703 KB
english, 2006