A proof markup language for Semantic Web
β
Paulo Pinheiro da Silva; Deborah L. McGuinness; Richard Fikes
π
Article
π
2006
π
Elsevier Science
π
English
β 327 KB