Suggested Topics within your search.
Showing 1 - 14 results of 14 for search '"Automatic theorem proving"', query time: 0.02s Refine Results
  1. 1
    Deduction systems

    Deduction systems by Socher-Ambrosius, Rolf

    Published 1997
    Subjects: “…Automatic theorem proving.…”
    Book
    Save to List
    Saved in:
  2. 2
    Mechanical geometry theorem proving

    Mechanical geometry theorem proving by Chou, Shang-Ching 1942-

    Published 1988
    Subjects: “…Automatic theorem proving.…”
    Book
    Save to List
    Saved in:
  3. 3
    Gems of theoretical computer science

    Gems of theoretical computer science by Schoning, Uwe 1955-

    Published 1998
    Subjects: “…Automatic theorem proving.…”
    Book
    Save to List
    Saved in:
  4. 4
    Automated theorem proving :

    Automated theorem proving :

    Published 1984
    Subjects: “…Automatic theorem proving Congresses.…”
    Book
    Save to List
    Saved in:
  5. 5
    Interactive theorem proving and program development :

    Interactive theorem proving and program development : by Bertot, Yves

    Published 2004
    Subjects: “…Automatic theorem proving.…”
    Book
    Save to List
    Saved in:
  6. 6
    Logic for Computer Science :

    Logic for Computer Science : by Gallier, Jean H.

    Published 1987
    Subjects: “…Automatic theorem proving.…”
    Book
    Save to List
    Saved in:
  7. 7
    Automated Reasoning :

    Automated Reasoning : by Wos, Larry

    Published 1992
    Subjects: “…Automatic theorem proving.…”
    Book
    Save to List
    Saved in:
  8. 8
    Automated Reasoning :

    Automated Reasoning :

    Published 1992
    Subjects: “…Automatic theorem proving Congresses.…”
    Conference Proceeding Book
    Save to List
    Saved in:
  9. 9
    Proof in VDM: :

    Proof in VDM: :

    Published 1998
    Subjects:
    Book
    Save to List
    Saved in:
  10. 10
    Symbolic logic and mechanical theorem proving

    Symbolic logic and mechanical theorem proving by Chang, Chin-Liang 1937-

    Published 1987
    Subjects:
    Book
    Save to List
    Saved in:
  11. 11
    The computer modelling of mathematical reasoning

    The computer modelling of mathematical reasoning by Bundy, Alan

    Published 1983
    Subjects:
    Book
    Save to List
    Saved in:
  12. 12
    Diagrammatic reasoning :

    Diagrammatic reasoning :

    Published 1995
    Subjects: “…Automatic theorem proving.…”
    Book
    Save to List
    Saved in:
  13. 13
    Computational logic :

    Computational logic :

    Published 1991
    Subjects:
    Book
    Save to List
    Saved in:
  14. 14
    Ontic :

    Ontic : by McAllester, David A.

    Published 1989
    Subjects: “…Automatic theorem proving.…”
    Book
    Save to List
    Saved in:

Search Tools: