• Login
    Search 
    •   Repository Home
    • Brock Theses
    • Search
    •   Repository Home
    • Brock Theses
    • Search
    JavaScript is disabled for your browser. Some features of this site may not work without it.

    Search

    Show Advanced FiltersHide Advanced Filters

    Filters

    Use filters to refine the search results.

    Now showing items 1-1 of 1

    • Sort Options:
    • Relevance
    • Title Asc
    • Title Desc
    • Issue Date Asc
    • Issue Date Desc
    • Results Per Page:
    • 5
    • 10
    • 20
    • 40
    • 60
    • 80
    • 100
    Thumbnail

    Extending relAPS to first order logic 

    Aameri, Bahar (Brock University, 2011-03-08)
    RelAPS is an interactive system assisting in proving relation-algebraic theorems. The aim of the system is to provide an environment where a user can perform a relation-algebraic proof similar to doing it using pencil ...

    Brock University | Copyright © 2006-2015 
    Contact Us | Send Feedback
     

     

    Browse

    All of DSpaceCommunities & CollectionsBy Issue DateAuthorsTitlesSubjectsThis CommunityBy Issue DateAuthorsTitlesSubjects

    My Account

    LoginRegister

    Discover

    Author
    Aameri, Bahar (1)
    SubjectComputer science -- Mathematics. (1)Relation algebras (1)... View MoreDate Issued2011 (1)Degree
    M.Sc. Computer Science (1)

    Brock University | Copyright © 2006-2015 
    Contact Us | Send Feedback