dblp.uni-trier.dewww.uni-trier.de

Marta Franová Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2009
17 Marta Franová, Yves Kodratoff: La "créativité calculatoire" et les heuristiques créatives en synthèse de prédicats multiples. EGC 2009: 151-162
16EEMarta Franová, Yves Kodratoff: On Computational Creativity, 'Inventing' Theorem Proofs. ISMIS 2009: 573-581
1998
15 Marta Franová, Monia Kooli: Theory of Constructable Domains for Robotics: Why? IEA/AIE (Vol. 1) 1998: 37-46
1996
14EEMarta Franová: Automated Inductive Reasoning as a Support of Deductive Reasoning in a User-Independent Automation of Inductive Theorem Proving. ISMIS 1996: 551-560
1993
13EEMarta 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
8EEMarta Franová: PRECOMAS an Implementation of Constructive Matching Methodology. ISSAC 1990: 16-23
7EEMarta 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

Coauthor Index

1Martine Gross [13]
2Yves Kodratoff [6] [9] [10] [11] [12] [13] [16] [17]
3Monia Kooli [15]
4Derek Partridge [6] [9]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)