Showing 1 - 4 results of 4 for search '"automated theorem proving"', query time: 0.03s Refine Results
  1. 1
    Automated theorem proving: theory and practice
    by Newborn, Monty
    Published 2001
    Subjects: “...Automated theorem proving AI (Artificial intelligence) Electronic brains Intelligence, Artificial...”
    Printed Book
  2. 2
    First Order Logic And Automated Theorem Proving
    by Gries, David
    Published 1996
    Printed Book
  3. 3
    Current Trends In Hardware Verification And Automated Theorem Proving
    Printed Book
  4. 4
    Current trends in hardware verification and automated theorem proving
    by Current trends in
    Published 1989
    Printed Book
Search Tools: Get RSS Feed — Email this Search