#
Automatic theorem proving
Resource Information
The concept ** Automatic theorem proving** represents the subject, aboutness, idea or notion of resources found in **Sydney Jones Library, University of Liverpool**.

The Resource
Automatic theorem proving
Resource Information

The concept

**Automatic theorem proving**represents the subject, aboutness, idea or notion of resources found in**Sydney Jones Library, University of Liverpool**.- Label
- Automatic theorem proving

## Context

Context of Automatic theorem proving#### Subject of

No resources found

No enriched resources found

- Applied proof theory : proof interpretations and their use in mathematics
- Automated model building
- Automated reasoning: introduction and applications
- Automated theorem proving in software engineering
- Communication complexity : a new approach to circuit depth
- Compositionality, concurrency, and partial correctness : proof theories for networks of processes and their relationship
- Computational logic : essays in honor of Alan Robinson
- Conditional and preferential logics : proof methods and theorem proving
- Diagrammatic representation and reasoning
- Efficient solving of large arithmetic constraint systems with complex Boolean structure : proof engines for the analysis of hybrid discrete-continuous systems
- First-order logic and automated theorem proving
- Formalized probability theory and applications using theorem proving
- Interactive theorem proving and program development : Coq'Art : the calculus of inductive constructions
- Introduction to HOL: a theorem proving environment for higher order logic
- Logic for computer science: foundations of automatic theorem proving
- Logic programming : operational semantics and proof theory
- Mathematics mechanization and applications
- 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
- Principles of automated theorem proving
- Proof in VDM : case studies
- Proof theory and automated deduction
- Rippling : meta-level guidance for mathematical reasoning
- Scalable techniques for formal verification
- Scalable techniques for formal verification
- Symbolic logic and mechanical theorem proving
- The efficiency of theorem proving strategies : a comparative and asymptotic analysis
- The little prover
- The little prover
- The resolution calculus

## 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.liverpool.ac.uk/resource/9O1RQn0hEz0/" typeof="CategoryCode http://bibfra.me/vocab/lite/Concept"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.liverpool.ac.uk/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.liverpool.ac.uk/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.liverpool.ac.uk/">Sydney Jones Library, University of Liverpool</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.liverpool.ac.uk/resource/9O1RQn0hEz0/" typeof="CategoryCode http://bibfra.me/vocab/lite/Concept"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.liverpool.ac.uk/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.liverpool.ac.uk/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.liverpool.ac.uk/">Sydney Jones Library, University of Liverpool</a></span></span></span></span></div>`