Inference Web in Action: Lightweight Use of Proof Markup Language

Author
Pinheiro, Paulo; McGuinness, Deborah; Ding, Li; Rio, Nicholas
Thumbnail
Other Contributors
Date Issued
2008-01-01
Degree
Terms of Use
Metadata
Show full item record
URI
http://archive.tw.rpi.edu/media/latest/Inference_Web_in_Action-3A_Lightweight_Use_of_Proof_Markup_Language.pdf; https://hdl.handle.net/20.500.13015/4707
Abstract
Department
Relationships
Access
Collections