Marta Franová

CNRS & Universite Paris Sud , LRI , Bat. 490 , 91405 Orsay , France

2 papers in the IJCAI proceedings

IJCAI 1991

Solving "How to Clear a Block" with Constructive Matching Methodology

with Yves Kodratoff

Details PDF

IJCAI 1985

CM-Strategy: A Methodology for Inductive Theorem Proving or Constructive Well-Generalized Proofs

Details PDF

Future Conferences

AI Journal Division

IJCAI Proceedings