9th International Conference on Automated Deduction

Overview of attention for book

Cover of '9th International Conference on Automated Deduction'

Table of Contents

Attention for Chapter: The use of explicit plans to guide inductive proofs

Altmetric Badge

Mentioned by

wikipedia: 2 Wikipedia pages

Citations

dimensions_citation: 4 Dimensions

Readers on

mendeley: 19 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.

System description: Proof planning in higher-order logic with λClam

Book chapter (January 1998)

A Science of Reasoning (Extended Abstract)

Book chapter (January 1998)

The implementation of Pro Test: A Prolog debugger for a refined box model

Article in Software Practice and Experience (October 1990)

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

Click here to find out how to access more activity.