Inference Web in Action: Lightweight Use of Proof Markup Language

Authors
Pinheiro, Paulo
McGuinness, Deborah L.
Ding, Li
Rio, Nicholas
ORCID
No Thumbnail Available
Other Contributors
Issue Date
2008-01-01
Keywords
Degree
Terms of Use
Full Citation
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
Description
Department
Publisher
Relationships
Access
Collections
Tetherless World Publications