Analogy in Theorem Proving using Proof Plans

Project Details

Description

HC&M grant CT93-0806, (one visiting fellow Dr. Erica Melis) EURO 516,865
StatusFinished
Effective start/end date1/10/9430/09/95

Fingerprint

Explore the research topics touched on by this project. These labels are generated based on the underlying awards/grants. Together they form a unique fingerprint.