Franová, Marta

2 publications

IJCAI 1991 Solving "How to Clear a Block" with Constructive Matching Methodology Marta Franová, Yves Kodratoff

IJCAI 1985 CM-Strategy: A Methodology for Inductive Theorem Proving or Constructive Well-Generalized Proofs Marta Franová