Search Results

Suggested Topics within your search.
  • Showing 1 - 18 results of 18
Refine Results
  1. 1
    Proof in VDM a practitioner's guide

    Proof in VDM a practitioner's guide

    Published 1994
    Click Here to View Status and Holdings.
    Unknown

    Save to List
    Saved in:
  2. 2
    First-order logic and automated theorem proving

    First-order logic and automated theorem proving by Fitting, Melvin 1942-

    Published 1996
    Click Here to View Status and Holdings.
    Unknown

    Save to List
    Saved in:
  3. 3
    The automation of reasoning an experimenter's notebook with OTTER tutorial

    The automation of reasoning an experimenter's notebook with OTTER tutorial by Wos, Larry

    Published 1996
    Click Here to View Status and Holdings.
    Unknown

    Save to List
    Saved in:
  4. 4
    Computational logic essays in honor of Alan Robinson

    Computational logic essays in honor of Alan Robinson

    Published 1991
    Click Here to View Status and Holdings.
    Unknown

    Save to List
    Saved in:
  5. 5
    A proof theory for general unification

    A proof theory for general unification by Snyder, Wayne 1955 - .

    Published 1991
    Click Here to View Status and Holdings.
    Unknown

    Save to List
    Saved in:
  6. 6
    The resolution calculus

    The resolution calculus by Leitsch, Alexander

    Published 1997
    Click Here to View Status and Holdings.
    Unknown

    Save to List
    Saved in:
  7. 7
    The Computer modelling of mathematical reasoning

    The Computer modelling of mathematical reasoning by Bundy, Allan

    Published 1983
    Click Here to View Status and Holdings.
    Unknown

    Save to List
    Saved in:
  8. 8
    Automated reasoning 33 basic research problems

    Automated reasoning 33 basic research problems by Wos, Larry

    Published 1988
    Click Here to View Status and Holdings.
    Unknown

    Save to List
    Saved in:
  9. 9
    Diagrammatic representation and reasoning

    Diagrammatic representation and reasoning

    Published 2002
    Click Here to View Status and Holdings.
    Unknown

    Save to List
    Saved in:
  10. 10
    Automated theorem proving in software engineering

    Automated theorem proving in software engineering by Schumann, Johann M 1960-

    Published 2001
    Click Here to View Status and Holdings.
    Unknown

    Save to List
    Saved in:
  11. 11
    Automated deduction in geometry revised papers, September 25 - 27, 2000

    Automated deduction in geometry revised papers, September 25 - 27, 2000

    Published 2001
    Click Here to View Status and Holdings.
    Unknown

    Save to List
    Saved in:
  12. 12
    Handbook of automated reasoning

    Handbook of automated reasoning

    Published 2001
    Click Here to View Status and Holdings.
    Unknown

    Save to List
    Saved in:
  13. 13
    Computational logic logic programming and beyond

    Computational logic logic programming and beyond

    Published 2002
    Click Here to View Status and Holdings.
    Unknown

    Save to List
    Saved in:
  14. 14
    Automated theorem proving theory and practice

    Automated theorem proving theory and practice by Newborn, Monroe

    Published 2001
    Click Here to View Status and Holdings.
    Unknown

    Save to List
    Saved in:
  15. 15
    Principles of automated theorem proving

    Principles of automated theorem proving by Duffy, David A

    Published 1991
    Click Here to View Status and Holdings.
    Unknown

    Save to List
    Saved in:
  16. 16
    Higher order logic theorem proving and its applications proceedings of the IFIP TC10/WG10.2 International Workshop on Higher Order Logic Theorem Proving and Its Applications--HOL '92

    Higher order logic theorem proving and its applications proceedings of the IFIP TC10/WG10.2 International Workshop on Higher Order Logic Theorem Proving and Its Applications--HOL '...

    Published 1993
    Click Here to View Status and Holdings.
    Unknown

    Save to List
    Saved in:
  17. 17
    Automated reasoning introduction and applications

    Automated reasoning introduction and applications

    Published 1992
    Click Here to View Status and Holdings.
    Unknown

    Save to List
    Saved in:
  18. 18
    Automated reasoning proceedings of the IFIP TC 12/WG 12.3 International Workshop on Automated Reasoning, Beijing, P.R. China, 13-16 July 1992

    Automated reasoning proceedings of the IFIP TC 12/WG 12.3 International Workshop on Automated Reasoning, Beijing, P.R. China, 13-16 July 1992

    Published 1992
    Click Here to View Status and Holdings.
    Unknown

    Save to List
    Saved in:

Search Tools: