Edinburgh Research Explorer

Analogy in Theorem Proving using Proof Plans

Project: Other (Non-Funded/Miscellaneous)

StatusFinished
Effective start/end date1/10/9430/09/95
Period1/10/9430/09/95

Description

HC&M grant CT93-0806, (one visiting fellow Dr. Erica Melis) EURO 516,865