#
Automatic theorem proving
Resource Information
The concept ** Automatic theorem proving** represents the subject, aboutness, idea or notion of resources found in **University of Missouri-St. Louis 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-St. Louis Libraries**.- Label
- Automatic theorem proving

## Context

Context of Automatic theorem proving#### Subject of

No resources found

No enriched resources found

- A computational logic
- Automated deduction in classical and non-classical logics : selected papers
- Automated deduction in equational logic and cubic curves
- Automated reasoning : 33 basic research problems
- Automated reasoning : introduction and applications
- Automated theorem proving : a logical basis
- Communication complexity : a new approach to circuit depth
- Compositionality, concurrency, and partial correctness : proof theories for networks of processes and their relationship
- Computational logic : logic programming and beyond : essays in honour of Robert A. Kowalski
- Concrete semantics : with Isabelle/HOL
- Diagrammatic reasoning : cognitive and computational perspectives
- From logic design to logic programming : theorem proving techniques and P-functions
- Generating test templates via automated theorem proving
- Instantiation theory : on the foundations of automated deduction
- Isabelle : a generic theorem prover
- Isabelle/HOL : a proof assistant for higher-order logic
- Lectures on proof verification and approximation algorithms
- Mechanically verified hardware implementing an 8-bit parallel IO Byzantine agreement processor
- Ontic : a knowledge representation system for mathematics
- Rippling : meta-level guidance for mathematical reasoning
- Symbolic logic and mechanical theorem proving
- Term indexing
- The automation of reasoning with incomplete information : from semantic foundations to efficient computation
- The little prover
- The little prover
- Theorem-proving systems
- Theory reasoning in connection calculi
- Using sophisticated models in resolution theorem proving

## 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.umsl.edu/resource/9O1RQn0hEz0/" typeof="CategoryCode http://bibfra.me/vocab/lite/Concept"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.umsl.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.umsl.edu/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.umsl.edu/">University of Missouri-St. Louis 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.umsl.edu/resource/9O1RQn0hEz0/" typeof="CategoryCode http://bibfra.me/vocab/lite/Concept"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.umsl.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.umsl.edu/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.umsl.edu/">University of Missouri-St. Louis Libraries</a></span></span></span></span></div>`