Showing 1 - 4 results of 4 for search '"automated theorem proving"', čas poizvedbe: 0.03s Refine Results
  1. 1
    Automated theorem proving: theory and practice
    od Newborn, Monty
    Izdano 2001
    Teme: “...Automated theorem proving AI (Artificial intelligence) Electronic brains Intelligence, Artificial...”
    Printed Book
  2. 2
    First Order Logic And Automated Theorem Proving
    od Gries, David
    Izdano 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
    od Current trends in
    Izdano 1989
    Printed Book
Iskalna orodja: RSS — Pošljite iskanje po emailu