Detail page

Knowledge Web

Allgemeinbegriff

Automatisches Beweisverfahren

Subject heading	Automatisches Beweisverfahren
Synonym	Beweis / Automatisierung Maschinelles Beweisverfahren Mechanisches Beweisverfahren Theorembeweisen / Automatisierung Automatisches Theorembeweisen Automated theorem proving Automatic theorem proving Automatisches Beweisen / Theorem
Related	Beweissystem (verwandter Begriff)
Topic	Informatik, Datenverarbeitung
Source	Lex. Kybern. unter Theorembeweisen, Au
Record type	Allgemeinbegriff
GND-Identifier	4069034-9
Record ID	040690342
Topic of show all Combining procedural content generation and heuristic simulations for automated game balancing A Universal Mathematical Language for Argumentative Reasoning Agents Mechanized modeling and security proofs for web protocols Straddling the border between tests and proofs Applications for Symbol Elimination in Combination with Hierarchical Reasoning Automated deductive verification of probabilistic programs Formal verification of logical calculi and simulations in Isabelle/HOL Herausforderungen beim Einsatz interaktiver Theorembeweiser in der Hochschullehre Human Oriented Proof Presentation : A Reconstructive Approach On monadic backward induction and extensional equality preservation in intensional type theory SCL(EQ) : Simple clause learning in first-order logic with equality An Extensible Theorem Proving Frontend Automated and foundational verification of low-level programs Automated termination analysis of C programs Intelligent Computer Mathematics : 16th International Conference, CICM 2023, Cambridge, UK,, September 5–8, 2023 Proceedings Meaning and identity of proofs in (bilateralist) proof-theoretic semantics Topics in the proof theory of non-classical logics : philosophy and applications Intelligent formal methods : Combining deductive and inductive reasoning to build reliable systems Mechanised metamathematics : an investigation of first-order logic and set theory in constructive type theory SMT solving, interpolation, and quantifiers Verified compilation and optimization of floating-point kernels Coq meets CλaSH: proposing a hardware design synthesis flow that combines proof assistants with functional hardware description languages Extensional Paramodulation for Higher-Order Logic and Its Effective Implementation Leo-III Extensional paramodulation for higher-order logic and its effective implementation Leo-III ProofML - eine Annotationssprache für natürlichsprachige mathematische Beweise Automatisiertes Beweisen durch Vollständige Induktion : implementiert an praktischen Beispielen Automated Deduction in Geometry : 10th International Workshop, ADG 2014, Coimbra, Portugal, July 9-11, 2014, Revised Selected Papers Automated Deduction in Geometry : 10th International Workshop, ADG 2014, Coimbra, Portugal, July 9-11, 2014, Revised Selected Papers Automated Reasoning with Analytic Tableaux and Related Methods : 24th International Conference, TABLEAUX 2015, Wrocław, Poland, September 21–24, 2015. Proceedings Bisimulations and model refinement Frontiers of Combining Systems : 10th International Symposium, FroCoS 2015, Wroclaw, Poland, September 21–24, 2015. Proceedings Interactive Theorem Proving : 6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015, Proceedings Logic for programming, artificial intelligence, and reasoning : 20th international conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015 ; proceedings Logic for Programming, Artificial Intelligence, and Reasoning : 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, Proceedings Automated deduction : proceedings Automated deduction in geometry : 9th international workshop ; revised selected papers Automated Deduction in Geometry : 9th International Workshop, ADG 2012, Edinburgh, UK, September 17-19, 2012. Revised Selected Papers Automated Reasoning and Mathematics : Essays in Memory of William W. McCune Automated reasoning and mathematics : essays in memory of William W. McCune ; [Festschrift] Automated reasoning with analytic tableaux and related methods : 22th international conference ; proceedings Automated Reasoning with Analytic Tableaux and Related Methods : 22th International Conference, TABLEAUX 2013, Nancy, France, September 16-19, 2013. Proceedings Frontiers of combining systems : 9th international symposium ; proceedings Frontiers of Combining Systems : 9th International Symposium, FroCoS 2013, Nancy, France, September 18-20, 2013. Proceedings Intelligent Computer Mathematics : MKM, Calculemus, DML, and Systems and Projects 2013, Held as Part of CICM 2013, Bath, UK, July 8-12, 2013. Proceedings Intelligent computer mathematics : proceedings Interactive theorem proving : 4th International Conference ; proceedings Interactive Theorem Proving : 4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013. Proceedings Logic for programming, artificial intelligence, and reasoning : 19th international conference ; proceedings Logic for Programming, Artificial Intelligence, and Reasoning : 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013. Proceedings NASA formal methods : 5th international symposium ; proceedings NASA Formal Methods : 5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013. Proceedings Assertion level proof planning with compiled strategies Assertion level proof planning with compiled strategies Automated reasoning : 6th international joint conference ; proceedings Automated Reasoning : 6th International Joint Conference, IJCAR 2012, Manchester, UK, June 26-29, 2012. Proceedings Certified programs and proofs : second international conference ; proceedings Certified Programs and Proofs : Second International Conference, CPP 2012, Kyoto, Japan, December 13-15, 2012. Proceedings Intelligent computer mathematics : 11th international conference ... ; proceedings Intelligent Computer Mathematics : 11th International Conference, AISC 2012, 19th Symposium, Calculemus 2012, 5th International Workshop, DML 2012, 11th International Conference, MKM 2012, Systems and Projects, Held as Part of CICM 2012, Bremen, Germany, July 8-13, 2012. Proceedings Interactive theorem proving : third international conference ; proceedings

Please note

The beta version does not yet contain all functions and information of the DNB portal catalogue. If you are missing information or want to order a medium, please visit the page in the DNB portal catalogue via the following link:

Katalog der Deutschen Nationalbibliothek

Automatisches Beweisverfahren

Combining procedural content generation and heuristic simulations for automated game balancing

A Universal Mathematical Language for Argumentative Reasoning Agents

Mechanized modeling and security proofs for web protocols

Straddling the border between tests and proofs

Applications for Symbol Elimination in Combination with Hierarchical Reasoning

Automated deductive verification of probabilistic programs

Formal verification of logical calculi and simulations in Isabelle/HOL

Herausforderungen beim Einsatz interaktiver Theorembeweiser in der Hochschullehre

Human Oriented Proof Presentation : A Reconstructive Approach

On monadic backward induction and extensional equality preservation in intensional type theory

SCL(EQ) : Simple clause learning in first-order logic with equality

An Extensible Theorem Proving Frontend

Automated and foundational verification of low-level programs

Automated termination analysis of C programs

Intelligent Computer Mathematics : 16th International Conference, CICM 2023, Cambridge, UK,, September 5–8, 2023 Proceedings

Meaning and identity of proofs in (bilateralist) proof-theoretic semantics

Topics in the proof theory of non-classical logics : philosophy and applications

Intelligent formal methods : Combining deductive and inductive reasoning to build reliable systems

Mechanised metamathematics : an investigation of first-order logic and set theory in constructive type theory

SMT solving, interpolation, and quantifiers

Verified compilation and optimization of floating-point kernels

Coq meets CλaSH: proposing a hardware design synthesis flow that combines proof assistants with functional hardware description languages

Extensional Paramodulation for Higher-Order Logic and Its Effective Implementation Leo-III

Extensional paramodulation for higher-order logic and its effective implementation Leo-III

ProofML - eine Annotationssprache für natürlichsprachige mathematische Beweise

Automatisiertes Beweisen durch Vollständige Induktion : implementiert an praktischen Beispielen

Automated Deduction in Geometry : 10th International Workshop, ADG 2014, Coimbra, Portugal, July 9-11, 2014, Revised Selected Papers

Automated Deduction in Geometry : 10th International Workshop, ADG 2014, Coimbra, Portugal, July 9-11, 2014, Revised Selected Papers

Automated Reasoning with Analytic Tableaux and Related Methods : 24th International Conference, TABLEAUX 2015, Wrocław, Poland, September 21–24, 2015. Proceedings

Bisimulations and model refinement

Frontiers of Combining Systems : 10th International Symposium, FroCoS 2015, Wroclaw, Poland, September 21–24, 2015. Proceedings

Interactive Theorem Proving : 6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015, Proceedings

Logic for programming, artificial intelligence, and reasoning : 20th international conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015 ; proceedings

Logic for Programming, Artificial Intelligence, and Reasoning : 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, Proceedings

Automated deduction : proceedings

Automated deduction in geometry : 9th international workshop ; revised selected papers

Automated Deduction in Geometry : 9th International Workshop, ADG 2012, Edinburgh, UK, September 17-19, 2012. Revised Selected Papers

Automated Reasoning and Mathematics : Essays in Memory of William W. McCune

Automated reasoning and mathematics : essays in memory of William W. McCune ; [Festschrift]

Automated reasoning with analytic tableaux and related methods : 22th international conference ; proceedings

Automated Reasoning with Analytic Tableaux and Related Methods : 22th International Conference, TABLEAUX 2013, Nancy, France, September 16-19, 2013. Proceedings

Frontiers of combining systems : 9th international symposium ; proceedings

Frontiers of Combining Systems : 9th International Symposium, FroCoS 2013, Nancy, France, September 18-20, 2013. Proceedings

Intelligent Computer Mathematics : MKM, Calculemus, DML, and Systems and Projects 2013, Held as Part of CICM 2013, Bath, UK, July 8-12, 2013. Proceedings

Intelligent computer mathematics : proceedings

Interactive theorem proving : 4th International Conference ; proceedings

Interactive Theorem Proving : 4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013. Proceedings

Logic for programming, artificial intelligence, and reasoning : 19th international conference ; proceedings

Logic for Programming, Artificial Intelligence, and Reasoning : 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013. Proceedings

NASA formal methods : 5th international symposium ; proceedings

NASA Formal Methods : 5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013. Proceedings

Assertion level proof planning with compiled strategies

Assertion level proof planning with compiled strategies

Automated reasoning : 6th international joint conference ; proceedings

Automated Reasoning : 6th International Joint Conference, IJCAR 2012, Manchester, UK, June 26-29, 2012. Proceedings

Certified programs and proofs : second international conference ; proceedings

Certified Programs and Proofs : Second International Conference, CPP 2012, Kyoto, Japan, December 13-15, 2012. Proceedings

Intelligent computer mathematics : 11th international conference ... ; proceedings

Intelligent Computer Mathematics : 11th International Conference, AISC 2012, 19th Symposium, Calculemus 2012, 5th International Workshop, DML 2012, 11th International Conference, MKM 2012, Systems and Projects, Held as Part of CICM 2012, Bremen, Germany, July 8-13, 2012. Proceedings

Interactive theorem proving : third international conference ; proceedings