Toggle navigation
Login
Toggle navigation
View Item
DSpace@RPI Home
Tetherless World Constellation
Tetherless World Publications
View Item
DSpace@RPI Home
Tetherless World Constellation
Tetherless World Publications
View Item
JavaScript is disabled for your browser. Some features of this site may not work without it.
Inference Web in Action: Lightweight Use of Proof Markup Language
Author
Pinheiro, Paulo; McGuinness, Deborah; Ding, Li; Rio, Nicholas
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
Tetherless World Publications
Search DSpace@RPI
This Collection
Browse
All of DSpace@RPI
Communities & Collections
By Issue Date
Authors
Titles
Subjects
This Collection
By Issue Date
Authors
Titles
Subjects
My Account
Login