scientific article; zbMATH DE number 19767

zbMATH Open0735.68074MaRDI QIDQ3979265FDOQ3979265

Authors: Marta Fraňová 

Publication date: 26 June 1992

Title of this publication is not available (Why is that?)

Recommendations

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

zbMATH Keywords

explanatory reasoningcn-formula constructionconstructive matchingprogram synthesis from specification

Mathematics Subject Classification ID

Cited In (3)

• Title not available (Why is that?)
• Predicting failures of and repairing inductive proof attempts
• 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)