Edinburgh Research Explorer

Extensions to a generalization critic for inductive proof

Research output: Contribution to journalArticle

Related Edinburgh Organisations

Open Access permissions

Open

Documents

Original languageEnglish
JournalAutomated Deduction - CADE-13
VolumeLecture notes in Artificial Intelligence 1104
StatePublished - 1996

Download statistics

No data available

ID: 401840