Log In
Email address
Password
Log in
or
Log in with Shibboleth
Have you forgotten your password?
Communities & Collections
All of DSpace@RPI
Home
Tetherless World Constellation
Tetherless World Publications
Inference Web in Action: Lightweight Use of Proof Markup Language
Inference Web in Action: Lightweight Use of Proof Markup Language
No Thumbnail Available
Authors
Pinheiro, Paulo
McGuinness, Deborah L.
Ding, Li
Rio, Nicholas
Issue Date
2008-01-01
Type
Language
Keywords
Research Projects
Organizational Units
Journal Issue
Alternative Title
Abstract
Description
Full Citation
Publisher
Terms of Use
Journal
Volume
Issue
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
PubMed ID
DOI
ISSN
EISSN
Collections
Tetherless World Publications
Full item page
Show statistical information