Combinable Proof Fragments for the Web +,
A Proof Markup Language for Semantic Web Services + Author
Combinable Proof Fragments for the Web +,
A Proof Markup Language for Semantic Web Services + Has author
| Paulo Pinheiro da Silva and Deborah L. McGuinness and Richard Fikes | |