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

    Computer-aided reasoning : ACL2 case studies /

    Published 2002
    Subjects: “…Deduction and theorem proving.…”
    Book
  2. 2

    Computer-aided reasoning : an approach /

    Published 2002
    Subjects: “…Deduction and theorem proving.…”
    Book