Showing 1 - 20 results of 44 for search '"Automated theorem proving"', query time: 0.10s Refine Results
  1. 1
    First-order logic and automated theorem proving /
    by Fitting, Melvin 1942-
    Published 1990
    Book
  2. 2
    First-order logic and automated theorem proving /
    by Fitting, Melvin 1942-
    Published 1996
    Book
  3. 3
    Elementary theorem-proving applications of the OTTER automated deduction system in structural mechanics
    by Ioakimidis, Nikolaos
    Published 2018
    Subjects: “…Automated theorem proving…”
    Get full text
    Technical Report
  4. 4
    Αυτόματη παραγωγή και αξιολόγηση ασκήσεων και χρήση παιχνιδοποίησης σε ευφυή συστήματα διδασκαλίας
    Subjects: “…Automated theorem proving…”
    Get full text
    Thesis
  5. 5
    Model Checking Software 25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, Proceedings /
    Published 2018
    Table of Contents: “… -- Model checking -- Automated theorem proving, including SAT and SMT -- Verifying compilers -- Abstraction…”
    Full Text via HEAL-Link
    Electronic eBook
  6. 6
    Logical Analysis of Hybrid Systems Proving Theorems for Complex Dynamics /
    by Platzer, André
    Published 2010
    Table of Contents: “…-Algebraic Dynamic Logic DAL -- Differential Temporal Dynamic Logic dTL -- Automated Theorem Proving…”
    Full Text via HEAL-Link
    Electronic eBook
  7. 7
    NASA Formal Methods 11th International Symposium, NFM 2019, Houston, TX, USA, May 7-9, 2019, Proceedings /
    Published 2019
    Table of Contents: “… in automated theorem proving including SAT and SMT solving -- Use of formal methods in software and system…”
    Full Text via HEAL-Link
    Electronic eBook
  8. 8
    Recent Trends in Algebraic Development Techniques 18th International Workshop, WADT 2006, La Roche en Ardenne, Belgium, June 1-3, 2006, Revised Selected Papers /
    Published 2007
    Table of Contents: “… and Their Semantics - The Parallel Case -- Reasoning Support for Casl with Automated Theorem Proving Systems…”
    Full Text via HEAL-Link
    Electronic eBook
  9. 9
    Types for Proofs and Programs International Workshop, TYPES 2004, Jouy-en-Josas, France, December 15-18, 2004, Revised Selected Papers /
    Published 2006
    Table of Contents: “… in General Topology Via Types -- A Tool for Automated Theorem Proving in Agda -- Surreal Numbers in Coq -- A…”
    Full Text via HEAL-Link
    Electronic eBook
  10. 10
    Practical Artificial Intelligence Machine Learning, Bots, and Agent Solutions Using C# /
    Table of Contents: “…Chapter 1: Logic & AI -- Chapter 2: Automated Theorem Proving & First Order Logic -- Chapter 3…”
    Full Text via HEAL-Link
    Electronic eBook
  11. 11
    A Concise Introduction to Mathematical Logic
    by Rautenberg, Wolfgang
    Published 2010
    Full Text via HEAL-Link
    Electronic eBook
  12. 12
    Automated Deduction in Geometry Third International Workshop, ADG 2000, Zurich, Switzerland, September 25-27, 2000, Revised Papers /
    Published 2001
    Table of Contents: “… Complexity in Dynamic Geometry -- Automated Theorem Proving in Incidence Geometry - A Bracket Algebra Based…”
    Full Text via HEAL-Link
    Electronic eBook
  13. 13
    Automated Deduction in Classical and Non-Classical Logics Selected Papers /
    Published 2000
    Table of Contents: “…Invited Papers -- Automated Theorem Proving in First-Order Logic Modulo: On the Difference between…”
    Full Text via HEAL-Link
    Electronic eBook
  14. 14
    Frontiers of Combining Systems 12th International Symposium, FroCoS 2019, London, UK, September 4-6, 2019, Proceedings /
    Published 2019
    Full Text via HEAL-Link
    Electronic eBook
  15. 15
    978-3-031-38499-8.pdf
    Published 2023
    Get full text
  16. 16
    Logic for Programming, Artificial Intelligence, and Reasoning 8th International Conference, LPAR 2001, Havana, Cuba, December 3-7, 2001, Proceedings /
    Published 2001
    Table of Contents: “… about Knowledge and Time for Synchronous Agents -- Automated Theorem Proving -- Proof and Model…”
    Full Text via HEAL-Link
    Electronic eBook
  17. 17
    Gentzen's Centenary The Quest for Consistency /
    Published 2015
    Full Text via HEAL-Link
    Electronic eBook
  18. 18
    Automated Reasoning with Analytic Tableaux and Related Methods International Conference, TABLEAUX'98, Oisterwijk, The Netherlands, May 5-8, 1998, Proceedings /
    Published 1998
    Table of Contents: “… in the Imperative Programming Language Pizza -- p-SETHEO: Strategy Parallelism in Automated Theorem Proving.…”
    Full Text via HEAL-Link
    Electronic eBook
  19. 19
    Frontiers of Combining Systems 11th International Symposium, FroCoS 2017, Brasília, Brazil, September 27-29, 2017, Proceedings /
    Published 2017
    Full Text via HEAL-Link
    Electronic eBook
  20. 20
    A Concise Introduction to Mathematical Logic
    by Rautenberg, Wolfgang
    Published 2006
    Full Text via HEAL-Link
    Electronic eBook
Search Tools: RSS Feed – Email Search