#
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

## Context

Context of Automatic theorem proving#### Subject 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>`