Suggested Topics within your search.
Showing 1 - 20 results of 322 for search '', query time: 0.07s Refine Results
  1. 1
    Automated deduction in classical and non-classical logics : selected papers /

    Automated deduction in classical and non-classical logics : selected papers /

    Published 2000
    Book
    Save to List
    Saved in:
  2. 2
    Ontic : a knowledge representation system for mathematics /

    Ontic : a knowledge representation system for mathematics / by McAllester, David A.

    Published 1989
    Full Text (via Internet Archive)
    eBook
    Save to List
    Saved in:
  3. 3
    Automated deduction in geometry.

    Automated deduction in geometry.

    Published 1998
    Request a PDF (UCB only)
    Conference Proceeding
    Save to List
    Saved in:
  4. 4
    Automated reasoning 10th International Joint Conference, IJCAR 2020, Paris, France, July 1-4, 2020, Proceedings.

    Automated reasoning 10th International Joint Conference, IJCAR 2020, Paris, France, July 1-4, 2020, Proceedings.

    Published 2020
    Full Text (via Springer)
    Electronic Conference Proceeding eBook
    Save to List
    Saved in:
  5. 5
    Mathematics mechanization and applications /

    Mathematics mechanization and applications /

    Published 2000
    Book
    Save to List
    Saved in:
  6. 6
    Automated technology for verification and analysis : 21st international symposium, ATVA 2023, Singapore, October 24-27, 2023, proceedings.

    Automated technology for verification and analysis : 21st international symposium, ATVA 2023, Singapore, October 24-27, 2023, proceedings.

    Published 2023
    Full Text (via Springer)
    Electronic Conference Proceeding eBook
    Save to List
    Saved in:
  7. 7
    Instantiation theory : on the foundations of automated deduction /

    Instantiation theory : on the foundations of automated deduction / by Williams, James G.

    Published 1991
    Full Text (via Internet Archive)
    eBook
    Save to List
    Saved in:
  8. 8
    Mechanical geometry theorem proving /

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

    Published 1988
    Full Text (via Internet Archive)
    eBook
    Save to List
    Saved in:
  9. 9
    Automated deduction in equational logic and cubic curves /

    Automated deduction in equational logic and cubic curves / by McCune, W. (William)

    Published 1996
    Full Text (via Internet Archive)
    eBook
    Save to List
    Saved in:
  10. 10
    Automated technology for verification and analysis : 21st international symposium, ATVA 2023, Singapore, October 24-27, 2023, proceedings.

    Automated technology for verification and analysis : 21st international symposium, ATVA 2023, Singapore, October 24-27, 2023, proceedings.

    Published 2023
    Full Text (via Springer)
    Electronic Conference Proceeding eBook
    Save to List
    Saved in:
  11. 11
    Symbolic computation and automated reasoning : the CALCULEMUS-2000 Symposium /

    Symbolic computation and automated reasoning : the CALCULEMUS-2000 Symposium /

    Published 2001
    Conference Proceeding Book
    Save to List
    Saved in:
  12. 12
    The sharing of rights and information in a capability-based protection system

    The sharing of rights and information in a capability-based protection system by Bishop, Matt

    Government Document Book
    Save to List
    Saved in:
  13. 13
    Automated theorem proving /

    Automated theorem proving / by Bibel, W., 1938-

    Published 1982
    Book
    Save to List
    Saved in:
  14. 14
    Symposium on Automatic Demonstration /

    Symposium on Automatic Demonstration /

    Published 1970
    Conference Proceeding Book
    Save to List
    Saved in:
  15. 15
    A combination of geometry theorem proving and nonstandard analysis with application to Newton's Principia /

    A combination of geometry theorem proving and nonstandard analysis with application to Newton's Principia / by Fleuriot, Jacques, 1972-

    Published 2001
    Book
    Save to List
    Saved in:
  16. 16
    A many-sorted calculus based on resolution and paramodulation /

    A many-sorted calculus based on resolution and paramodulation / by Walther, Christoph

    Published 1987
    Full Text (via Internet Archive)
    eBook
    Save to List
    Saved in:
  17. 17
    Gems of theoretical computer science /

    Gems of theoretical computer science / by Schöning, Uwe, 1955-

    Published 1998
    Book
    Save to List
    Saved in:
  18. 18
    Automated theorem proving : after 25 years /

    Automated theorem proving : after 25 years /

    Published 1984
    Conference Proceeding Book
    Save to List
    Saved in:
  19. 19
    Computational logic and proof theory : Third Kurt Go˜del Colloquium, KGC'93, Brno, Czech Republic, August 1993 : proceedings /

    Computational logic and proof theory : Third Kurt Go˜del Colloquium, KGC'93, Brno, Czech Republic, August 1993 : proceedings /

    Published 1993
    Full Text (via Internet Archive)
    Conference Proceeding eBook
    Save to List
    Saved in:
  20. 20
    Types for proofs and programs international workshop, TYPES 2004, Jouy-en-Josas, France, December 15-18, 2004 : revised selected papers /

    Types for proofs and programs international workshop, TYPES 2004, Jouy-en-Josas, France, December 15-18, 2004 : revised selected papers /

    Published 2006
    Electronic Conference Proceeding eBook
    Save to List
    Saved in:
Search Tools: RSS Feed – Save Search