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
30 Items that share the Concept Automatic theorem proving
Context
Context of Automatic theorem provingSubject 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>
