↓ Skip to main content
What is this page? Embed badge

Automated Deduction — A Basis for Applications

Overview of attention for book
Cover of 'Automated Deduction — A Basis for Applications'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 Structured Specifications and Interactive Proofs with KIV
  3. Altmetric Badge
    Chapter 2 Proof Theory at Work: Program Development in the Minlog System
  4. Altmetric Badge
    Chapter 3 Interactive and Automated Proof Construction in Type Theory
  5. Altmetric Badge
    Chapter 4 Integrating Automated and Interactive Theorem Proving
  6. Altmetric Badge
    Chapter 5 Term Indexing
  7. Altmetric Badge
    Chapter 6 Developing Deduction Systems: The Toolbox Style
  8. Altmetric Badge
    Chapter 7 Specifications of Inference Rules: Extensions of the PTTP Technique
  9. Altmetric Badge
    Chapter 8 Proof Analysis, Generalization and Reuse
  10. Altmetric Badge
    Chapter 9 Parallel Term Rewriting with Paredux
  11. Altmetric Badge
    Chapter 10 Parallel Theorem Provers Based on Setheo
  12. Altmetric Badge
    Chapter 11 Massively Parallel Reasoning
  13. Altmetric Badge
    Chapter 12 Extension Methods in Automated Deduction
  14. Altmetric Badge
    Chapter 13 A Comparison of Equality Reasoning Heuristics
  15. Altmetric Badge
    Chapter 14 Cooperating Theorem Provers
Attention for Chapter 8: Proof Analysis, Generalization and Reuse
Altmetric Badge

Mentioned by

wikipedia
1 Wikipedia page

Citations

dimensions_citation
4 Dimensions

Readers on

mendeley
4 Mendeley
Summary Wikipedia Dimensions citations
So far, Dimensions has found 4 publications that cite this research output.

4

The most recent citing publications are shown below. View all 4 publications that cite this research output on Dimensions.

This page shows the most recent citations of this research output.

Click here to find out how to access more activity.

This page is provided by Altmetric.