Now showing items 1-1 of 1

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