#
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
- http://id.loc.gov/authorities/subjects/sh85010111

## Context

Context of Automatic theorem proving#### Subject of

No resources found

No enriched resources found

- A computational logic
- A resolution principle for a logic with restricted quantifiers
- Analogy of automated reasoning
- Automated deduction in classical and non-classical logics : selected papers
- Automated practical reasoning : algebraic approaches
- 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 : 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
- Computational logic : essays in honor of Alan Robinson
- Computational logic : logic programming and beyond
- Conditional and preferential logics : proof methods and theorem proving
- Current trends in hardware verification and automated theorem proving
- Deduction systems
- Deduction systems in artificial intelligence
- Designing unification procedures using transformations : a survey
- 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
- 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
- Higher order E-unification
- 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
- 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
- Ontic : a knowledge representation system for mathematics
- Or-star parallelism : connection-graph parallel theorem proving on the connection machine
- PX, a computational logic
- Rigid E-unification: NP-completeness and applications to equational matings
- Rippling : meta-level guidance for mathematical reasoning
- Symbolic logic and mechanical theorem proving
- The application of theorem proving to question-answering systems
- The automation of reasoning with incomplete information : from semantic foundations to efficient computation
- The little prover
- Theorem proving using equational matings and rigid E-unifications
- Theory reasoning in connection calculi
- Uniform semi-unification
- 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/Y-VN2W7brwk/" typeof="CategoryCode http://bibfra.me/vocab/lite/Concept"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.bu.edu/resource/Y-VN2W7brwk/">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/Y-VN2W7brwk/" typeof="CategoryCode http://bibfra.me/vocab/lite/Concept"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.bu.edu/resource/Y-VN2W7brwk/">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>`