#
Automatic theorem proving
Resource Information
The concept ** Automatic theorem proving** represents the subject, aboutness, idea or notion of resources found in **Boston University Libraries**.

The Resource
Automatic theorem proving
Resource Information

The concept

**Automatic theorem proving**represents the subject, aboutness, idea or notion of resources found in**Boston University Libraries**.- Label
- Automatic theorem proving

- Authority link
- (uri) http://id.loc.gov/authorities/subjects/sh85010111

## Context

Context of Automatic theorem proving#### Subject of

No resources found

No enriched resources found

- A proof theory for general unification
- A resolution principle for a logic with restricted quantifiers
- 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 : essays in honor of Woody Bledsoe
- Automated reasoning and its applications : essays in honor of Larry Wos
- Automated theorem-proving in non-classical logics
- Communication complexity : a new approach to circuit depth
- Computational logic : logic programming and beyond
- Conditional and preferential logics : proof methods and theorem proving
- Deduction systems in artificial intelligence
- Designing unification procedures using transformations : a survey
- Efficient checking of polynomials and proofs and the hardness of approximation problems
- First-order logic and automated theorem proving
- Handbook of automated reasoning
- Instantiation theory : on the foundations of automated deduction
- Isabelle : a generic theorem prover
- Logic programming : operational semantics and proof theory
- Logical frameworks
- 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
- Or-star parallelism : connection-graph parallel theorem proving on the connection machine
- PX, a computational logic
- Resolution proof systems : an algebraic theory
- Rigid E-unification: NP-completeness and applications to equational matings
- 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 resolution calculus
- Theorem proving using equational matings and rigid E-unifications
- Theory reasoning in connection calculi
- Uniform semi-unification

## 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.bu.edu/resource/IR1UUpKzRoM/" typeof="CategoryCode http://bibfra.me/vocab/lite/Concept"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.bu.edu/resource/IR1UUpKzRoM/">Automatic theorem proving</a></span> - <span property="potentialAction" typeOf="OrganizeAction"><span property="agent" typeof="LibrarySystem http://library.link/vocab/LibrarySystem" resource="http://link.bu.edu/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.bu.edu/">Boston University 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.bu.edu/resource/IR1UUpKzRoM/" typeof="CategoryCode http://bibfra.me/vocab/lite/Concept"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.bu.edu/resource/IR1UUpKzRoM/">Automatic theorem proving</a></span> - <span property="potentialAction" typeOf="OrganizeAction"><span property="agent" typeof="LibrarySystem http://library.link/vocab/LibrarySystem" resource="http://link.bu.edu/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.bu.edu/">Boston University Libraries</a></span></span></span></span></div>`