| 2009 |
|---|
| 16 | | Marta Franová,
Yves Kodratoff:
La "créativité calculatoire" et les heuristiques créatives en synthèse de prédicats multiples.
EGC 2009: 151-162 |
| 1998 |
|---|
| 15 | | Marta Franová,
Monia Kooli:
Theory of Constructable Domains for Robotics: Why?
IEA/AIE (Vol. 1) 1998: 37-46 |
| 1996 |
|---|
| 14 | | Marta Franová:
Automated Inductive Reasoning as a Support of Deductive Reasoning in a User-Independent Automation of Inductive Theorem Proving.
ISMIS 1996: 551-560 |
| 1993 |
|---|
| 13 | | Marta Franová,
Yves Kodratoff,
Martine Gross:
Constructive Matching Methodology: Formally Creative or Intelligent Inductive Theorem Proving?
ISMIS 1993: 476-485 |
| 1992 |
|---|
| 12 | | Marta Franová,
Yves Kodratoff:
Predicate Synthesis from Formal Specifications.
ECAI 1992: 87-91 |
| 1991 |
|---|
| 11 | | Marta Franová,
Yves Kodratoff:
Solving "How to Clear a Block" with Constructive Matching Methodology.
IJCAI 1991: 232-239 |
| 10 | | Marta Franová,
Yves Kodratoff:
Predicate Synthesis from Formal Specifications: Using Mathematical Induction for Finding the Preconditions of Theorems.
Nonmonotonic and Inductive Logic 1991: 184-208 |
| 1990 |
|---|
| 9 | | Yves Kodratoff,
Marta Franová,
Derek Partridge:
Logic Programming and Program Synthesis.
ICSI 1990: 346-355 |
| 8 | EE | Marta Franová:
PRECOMAS an Implementation of Constructive Matching Methodology.
ISSAC 1990: 16-23 |
| 7 | | Marta Franová:
Constructive Matching - A Methodology for Inductive Theorem Proving.
JELIA 1990: 212-226 |
| 1989 |
|---|
| 6 | | Yves Kodratoff,
Marta Franová,
Derek Partridge:
Why and How Program Synthesis?
AII 1989: 45-59 |
| 1988 |
|---|
| 5 | | Marta Franová:
Fundamentals for a New Methodology for Inductive Theorem Proving: CM-Construction of Atomic Formulae.
ECAI 1988: 136-141 |
| 4 | | Marta Franová:
An Implementation of Program Synthesis from Formal Specifications: PRECOMAS.
ECAI 1988: 559-564 |
| 1986 |
|---|
| 3 | | Marta Franová:
Proving Theorems by Construction of Valid Formulae.
IFIP Congress 1986: 41-46 |
| 1985 |
|---|
| 2 | | Marta Franová:
A Methodology for Automatic Programming Based on the Constructive Matching Strategy.
European Conference on Computer Algebra (2) 1985: 568-569 |
| 1 | | Marta Franová:
CM-Strategy: A Methodology for Inductive Theorem Proving or Constructive Well-Generalized Proofs.
IJCAI 1985: 1214-1220 |
