Marta Franová Fundamentals for a New Methodology for Inductive Theorem Proving: CM-Construction of Atomic Formulae. [Citation Graph (0, 0)][DBLP] ECAI, 1988, pp:136-141 [Conf]
Marta Franová A Methodology for Automatic Programming Based on the Constructive Matching Strategy. [Citation Graph (0, 0)][DBLP] European Conference on Computer Algebra (2), 1985, pp:568-569 [Conf]
Marta Frañová Constructive Matching - Explanation Based Methodology for Inductive Theorem Proving. [Citation Graph (0, 0)][DBLP] IMYCS, 1990, pp:138-147 [Conf]
Marta Franová Automated Inductive Reasoning as a Support of Deductive Reasoning in a User-Independent Automation of Inductive Theorem Proving. [Citation Graph (0, 0)][DBLP] ISMIS, 1996, pp:551-560 [Conf]
Marta Franová Constructive Matching - A Methodology for Inductive Theorem Proving. [Citation Graph (0, 0)][DBLP] JELIA, 1990, pp:212-226 [Conf]
Marta Franová, Yves Kodratoff Predicate Synthesis from Formal Specifications: Using Mathematical Induction for Finding the Preconditions of Theorems. [Citation Graph (0, 0)][DBLP] Nonmonotonic and Inductive Logic, 1991, pp:184-208 [Conf]
La "créativité calculatoire" et les heuristiques créatives en synthèse de prédicats multiples. [Citation Graph (, )][DBLP]
On Computational Creativity, 'Inventing' Theorem Proofs. [Citation Graph (, )][DBLP]
Search in 0.002secs, Finished in 0.003secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP