Showing 1 - 20 results of 68 for search '"theorem proving"', query time: 0.52s Refine Results
  1. 1
    Automated technology for verification and analysis : 5th international symposium, ATVA 2007 Tokyo, Japan, October 22-25, 2007 proceedings /

    Automated technology for verification and analysis : 5th international symposium, ATVA 2007 Tokyo, Japan, October 22-25, 2007 proceedings / by Namjoshi, Kedar S., Yoneda, Tomohiro, Higashino, Teruo

    Published 2007
    Subjects: “…Automatic theorem proving…”
    Get full text
  2. 2
    Automated technology for verification and analysis : 6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008 : proceedings /

    Automated technology for verification and analysis : 6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008 : proceedings / by ATVA 2008 (2008 : Seoul, Korea), Cha, Sungdeok

    Published 2008
    Subjects: “…Automatic theorem proving…”
  3. 3
    Automated theorem proving : a logical basis /

    Automated theorem proving : a logical basis / by 403272 Loveland, Donald W.

    Published 1978
    Subjects: “…Automatic theorem proving…”
  4. 4
    A computational logic /

    A computational logic / by 403382 Boyer, Robert S., Moore, Strother J.

    Published 1979
    Subjects: “…Automatic theorem proving…”
  5. 5
    Automated Reasoning with Analytic Tableaux and Related Methods [electronic resource] : 16th International Conference, TABLEAUX 2007, Aix en Provence, France, July 3-6, 2007: Proceedings /

    Automated Reasoning with Analytic Tableaux and Related Methods [electronic resource] : 16th International Conference, TABLEAUX 2007, Aix en Provence, France, July 3-6, 2007: Procee... by TABLEAUX 2007 (2007 : Aix en Provence, France), Olivetti, Nicola., SpringerLink (Online service)

    Published 2007
    Subjects: “…Automatic theorem proving…”
    Get full text
  6. 6
    Symbolic computation and automated reasoning : the CALCULEMUS-2000 Symposium /

    Symbolic computation and automated reasoning : the CALCULEMUS-2000 Symposium / by Kerber, Manfred, Kohlhase, Michael

    Published 2001
    Subjects:
  7. 7
    Automated Deduction, Les Arcs, France, July 8-11, 1980 /

    Automated Deduction, Les Arcs, France, July 8-11, 1980 / by Conference on Automated Deduction, (5th : 1980 : Les Arcs), Bibel, W., 1938-, Kowalski, Robert

    Published 1980
    Subjects: “…Automatic theorem proving…”
  8. 8
    Types for Proofs and Programs [electronic resource] : International Workshop, TYPES 2006, Nottingham, UK, April 18-21, 2006, Revised Selected Papers /

    Types for Proofs and Programs [electronic resource] : International Workshop, TYPES 2006, Nottingham, UK, April 18-21, 2006, Revised Selected Papers / by TYPES `98 (2006 : Nottingham, UK), Altenkirch, Thorsten, McBride, Conor, SpringerLink (Online service)

    Published 2007
    Subjects: “…Automatic theorem proving…”
    Get full text
  9. 9
    Certified programming with dependent types : a pragmatic introduction to the Coq proof assistant /

    Certified programming with dependent types : a pragmatic introduction to the Coq proof assistant / by Chlipala, Adam, 1981-

    Published 2013
    Subjects: “…Automatic theorem proving…”
  10. 10
    Interactive theorem proving and program development : Coq'Art : the calculus of inductive constructions /

    Interactive theorem proving and program development : Coq'Art : the calculus of inductive constructions / by 183708 Bertot, Yves, Casteran, P. (Pierre)

    Published 2004
    Subjects: “…Automatic theorem proving…”
  11. 11
    Symposium on Automatic Demonstration [proceedings] /

    Symposium on Automatic Demonstration [proceedings] / by Symposium on Automatic Demonstration (1968 : Versailles, France), Laudet, M.

    Published 1970
    Subjects: “…Automatic theorem proving…”
  12. 12
    Logic for computer science : foundations of automatic theorem proving /

    Logic for computer science : foundations of automatic theorem proving / by 455116 Gallier, Jean H.

    Published 1986
    Subjects: “…Automatic theorem proving…”
  13. 13
    Symbolic logic and mechanical theorem proving /

    Symbolic logic and mechanical theorem proving / by 336504 Chang, Chin-Ling, Lee, Char-Tung, Richard

    Published 1973
    Subjects:
  14. 14
    Automated Deduction -- CADE-21 [electronic resource] : 21st International Conference on Automated Deduction Bremen, Germany, July 17-20, 2007 Proceedings /

    Automated Deduction -- CADE-21 [electronic resource] : 21st International Conference on Automated Deduction Bremen, Germany, July 17-20, 2007 Proceedings / by International Conference on Automated Deduction (21st : 2007 : Bremen, Germany), Pfenning, Frank, SpringerLink (Online service)

    Published 2007
    Subjects: “…Automatic theorem proving…”
    Get full text
  15. 15
    Globular: an online proof assistant for higher-dimensional rewriting

    Globular: an online proof assistant for higher-dimensional rewriting by Vicary, J, Kissinger, A, Bar, K

    Published 2016
    Subjects: “…I.2.3 Deduction and Theorem Proving…”
    Conference item
  16. 16
    Proof technology and computation /

    Proof technology and computation / by NATO Advanced Study Institute on Proof Technology and Computation (2003 : Marktoberdorf, Germany), Schwichtenberg, Helmut, 1942-, Spies, Katharina

    Published 2006
    Subjects: “…Automatic theorem proving…”
  17. 17
    Hammering towards QED

    Hammering towards QED by Jasmin C. Blanchette, Cezary Kaliszyk, Lawrence C. Paulson, Josef Urban

    Published 2016-01-01
    Subjects:
    Get full text
    Article
  18. 18
    A Hybrid Formal Verification System in Coq for Ensuring the Reliability and Security of Ethereum-Based Service Smart Contracts

    A Hybrid Formal Verification System in Coq for Ensuring the Reliability and Security of Ethereum-Based Service Smart Contracts by Zheng Yang, Hang Lei, Weizhong Qian

    Published 2020-01-01
    Subjects:
    Get full text
    Article
  19. 19
    Now f is continuous (exercise!)

    Now f is continuous (exercise!) by Robin Denis Arthan

    Published 2016-01-01
    Subjects: “…interactive theorem proving…”
    Get full text
    Article
  20. 20
    Automated reasoning : 33 basic research problems /

    Automated reasoning : 33 basic research problems / by 227665 Wos, Larry

    Published 1988
    Subjects: “…Automatic theorem proving…”

Search Tools: