• Login
    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
    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
    • Tetherless World Publications

    Browse

    All of DSpace@RPICommunities & CollectionsBy Issue DateAuthorsTitlesSubjectsThis CollectionBy Issue DateAuthorsTitlesSubjects

    My Account

    Login

    DSpace software copyright © 2002-2022  DuraSpace
    Contact Us | Send Feedback
    DSpace Express is a service operated by 
    Atmire NV