scientific article; zbMATH DE number 19767

MaRDI QIDQ3979265zbMATH OpenFDO

Authors Marta Fraňová

Publication date 26 June 1992

zbMATH Keywords

cn-formula constructionconstructive matchingexplanatory reasoningprogram synthesis from specification

Mathematics Subject Classification ID

Recommendations

• scientific article; zbMATH DE number 549978
• Appropriate lemmae discovery
• Productive use of failure in inductive proof
• scientific article; zbMATH DE number 67468

Cited in

(4)

• Predicting failures of and repairing inductive proof attempts
• scientific article; zbMATH DE number 67468 (Why is no real title available?)
• scientific article; zbMATH DE number 549978 (Why is no real title available?)
• Partial matching for analogy discovery in proofs and counter-examples

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3979265)