Martine Gross

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

- CSB - MetaPress - Google - Bing - Yahoo

1993

1 Marta Franová, Yves Kodratoff, Martine Gross: Constructive Matching Methodology: Formally Creative or Intelligent Inductive Theorem Proving? ISMIS 1993: 476-485

	1993
1		Marta Franová, Yves Kodratoff, Martine Gross: Constructive Matching Methodology: Formally Creative or Intelligent Inductive Theorem Proving? ISMIS 1993: 476-485

Coauthor Index

1 Marta Franová [1]

2 Yves Kodratoff [1]