#
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

- Source
- fast

## Context

Context of Automatic theorem proving#### Subject of

No resources found

No enriched resources found

- A computational logic
- Analogy of automated reasoning
- Automated practical reasoning : algebraic approaches
- Automated reasoning and its applications : essays in honor of Larry Wos
- Automated theorem proving : a logical basis
- Automated theorem-proving in non-classical logics
- Communication complexity : a new approach to circuit depth
- Compositionality, concurrency, and partial correctness : proof theories for networks of processes and their relationship
- Current trends in hardware verification and automated theorem proving
- Deduction systems
- 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
- From logic design to logic programming : theorem proving techniques and P-functions
- Gems of theoretical computer science
- Handbook of automated reasoning
- Isabelle/HOL : a proof assistant for higher-order logic
- Lectures on proof verification and approximation algorithms
- Ontic : a knowledge representation system for mathematics
- Or-star parallelism : connection-graph parallel theorem proving on the connection machine
- PX, a computational logic
- 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.bu.edu/resource/bdDbEFIRPNA/" typeof="CategoryCode http://bibfra.me/vocab/lite/Concept"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.bu.edu/resource/bdDbEFIRPNA/">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/bdDbEFIRPNA/" typeof="CategoryCode http://bibfra.me/vocab/lite/Concept"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.bu.edu/resource/bdDbEFIRPNA/">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>`