Automatic theorem proving
Resource Information
The concept Automatic theorem proving represents the subject, aboutness, idea or notion of resources found in University of Missouri Libraries.
The Resource
Automatic theorem proving
Resource Information
The concept Automatic theorem proving represents the subject, aboutness, idea or notion of resources found in University of Missouri Libraries.
- Label
- Automatic theorem proving
80 Items that share the Concept Automatic theorem proving
Context
Context of Automatic theorem provingSubject of
No resources found
No enriched resources found
- A combination of geometry theorem proving and nonstandard analysis with application to Newton's Principia
- A computational logic
- A proof theory for general unification
- A resolution principle for a logic with restricted quantifiers
- Analogy for automated reasoning
- Applied proof theory : proof interpretations and their use in mathematics
- Applied proof theory : proof interpretations and their use in mathematics
- Autologic
- Automated deduction : a basis for applications
- Automated deduction in classical and non-classical logics : selected papers
- Automated deduction in classical and non-classical logics : selected papers
- Automated deduction in equational logic and cubic curves
- Automated deduction in multiple-valued logics
- Automated development of fundamental mathematical theories
- Automated model building
- Automated practical reasoning : algebraic approaches
- Automated reasoning : essays in honor of Woody Bledsoe
- Automated reasoning and its applications : essays in honor of Larry Wos
- Automated theorem proving
- Automated theorem proving
- Automated theorem proving : a logical basis
- Automated theorem proving in software engineering
- Automated theorem-proving in non-classical logics
- Automated theory formation in pure mathematics
- Automatic theorem proof-checking in set theory : a preliminary report
- Automation of reasoning
- Communication complexity : a new approach to circuit depth
- Compositionality, concurrency, and partial correctness : proof theories for networks of processes and their relationship
- Compositionality, concurrency, and partial correctness : proof theories for networks of processes and their relationship
- Computational logic : essays in honor of Alan Robinson
- Computational logic : logic programming and beyond
- Computational logic : logic programming and beyond : essays in honour of Robert A. Kowalski
- Concrete semantics : with Isabelle/HOL
- Constructing programs automatically using theorem proving
- Deduction systems
- Diagrammatic reasoning : cognitive and computational perspectives
- Efficient checking of polynomials and proofs and the hardness of approximation problems
- Efficient checking of polynomials and proofs and the hardness of approximation problems
- Efficient solving of large arithmetic constraint systems with complex Boolean structure : proof engines for the analysis of hybrid discrete-continuous systems
- Extensional constructs in intensional type theory
- First-order logic and automated theorem proving
- From logic design to logic programming : theorem proving techniques and P-functions
- From logic design to logic programming : theorem proving techniques and P-functions
- Gems of theoretical computer science
- Generating test templates via automated theorem proving
- Implementing mathematics with the Nuprl proof development system
- Instantiation theory : on the foundations of automated deduction
- Instantiation theory : on the foundations of automated deduction
- Interactive theorem proving and program development : Coq'Art : the calculus of inductive constructions
- Isabelle : a generic theorem prover
- Isabelle : a generic theorem prover
- Isabelle/HOL : a proof assistant for higher-order logic
- Isabelle/HOL : a proof assistant for higher-order logic
- Knowledge based theorem proving and learning
- Lectures on proof verification and approximation algorithms
- Lectures on proof verification and approximation algorithms
- Logic for computer science : foundations of automatic theorem proving
- Machine proofs in geometry : automated production of readable proofs for geometry theorems
- Mechanical theorem proving in geometries : basic principles
- Mechanically verified hardware implementing an 8-bit parallel IO Byzantine agreement processor
- Mechanizing mathematical reasoning : essays in honor of Jörg H. Siekmann on the occasion of his 60th birthday
- Metamathematics, machines, and Gödel's proof
- Proof in VDM : a practitioner's guide
- Proof in VDM : case studies
- Rippling : meta-level guidance for mathematical reasoning
- Successive substitution in Morse inference : a progress report
- Symbolic logic and mechanical theorem proving
- Term indexing
- The Programming and proof systems ATES : advanced techniques integration into efficient scientific software
- The application of theorem proving to question-answering systems
- The automation of reasoning with incomplete information : from semantic foundations to efficient computation
- The automation of reasoning with incomplete information : from semantic foundations to efficient computation
- The computer modelling of mathematical reasoning
- The resolution calculus
- Theorem proving with the real numbers
- Theory reasoning in connection calculi
- Theory reasoning in connection calculi
- Thirty-five years of automating mathematics
- Using sophisticated models in resolution theorem proving
- Verifying temporal properties of systems
Embed
Settings
Select options that apply then copy and paste the RDF/HTML data fragment to include in your application
Embed this data in a secure (HTTPS) page:
Layout options:
Include data citation:
<div class="citation" vocab="http://schema.org/"><i class="fa fa-external-link-square fa-fw"></i> Data from <span resource="http://link.library.missouri.edu/resource/9O1RQn0hEz0/" typeof="CategoryCode http://bibfra.me/vocab/lite/Concept"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.library.missouri.edu/resource/9O1RQn0hEz0/">Automatic theorem proving</a></span> - <span property="potentialAction" typeOf="OrganizeAction"><span property="agent" typeof="LibrarySystem http://library.link/vocab/LibrarySystem" resource="http://link.library.missouri.edu/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.library.missouri.edu/">University of Missouri Libraries</a></span></span></span></span></div>
Note: Adjust the width and height settings defined in the RDF/HTML code fragment to best match your requirements
Preview
Cite Data - Experimental
Data Citation of the Concept Automatic theorem proving
Copy and paste the following RDF/HTML data fragment to cite this resource
<div class="citation" vocab="http://schema.org/"><i class="fa fa-external-link-square fa-fw"></i> Data from <span resource="http://link.library.missouri.edu/resource/9O1RQn0hEz0/" typeof="CategoryCode http://bibfra.me/vocab/lite/Concept"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.library.missouri.edu/resource/9O1RQn0hEz0/">Automatic theorem proving</a></span> - <span property="potentialAction" typeOf="OrganizeAction"><span property="agent" typeof="LibrarySystem http://library.link/vocab/LibrarySystem" resource="http://link.library.missouri.edu/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.library.missouri.edu/">University of Missouri Libraries</a></span></span></span></span></div>
