Digital Repository

Browsing Masters Theses by Author "Aameri, Bahar"

DSpace/Manakin Repository

Browsing Masters Theses by Author "Aameri, Bahar"

Sort by: Order: Results:

  • 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 ...

Search The Repository


Browse

My Account

Statistics


About the Digital Repository