Showing 1 - 2 results of 2 for search '', query time: 0.01s Refine Results
  1. 1

    Computer-aided reasoning : an approach /

    Published 2002
    Book
  2. 2

    Computer-aided reasoning : ACL2 case studies /

    Published 2002
    Book