A proof markup language for Semantic Web services
Paulo Pinheiro da Silva, Deborah L. McGuinness, Richard FikesVolume:
31
Year:
2006
Language:
english
Pages:
15
DOI:
10.1016/j.is.2005.02.003
File:
PDF, 327 KB
english, 2006