• 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

    A System for Models of First Order Theories 

    AbdalBari, Anwar (2012-10-12)
    If you want to know whether a property is true or not in a specific algebraic structure,you need to test that property on the given structure. This can be done by hand, which can be cumbersome and erroneous. In addition, ...

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

     

    Browse

    All of DSpaceCommunities & CollectionsBy Issue DateAuthorsTitlesSubjectsThis CommunityBy Issue DateAuthorsTitlesSubjects

    My Account

    LoginRegister

    Discover

    Author
    AbdalBari, Anwar (1)
    SubjectComputer programming. (1)First order theories (1)... View MoreDate Issued2012 (1)Degree
    M.Sc. Computer Science (1)

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