Constructive Matching Methodology: Formally Creative or Intelligent Inductive Theorem Proving?

Marta Franov, Yves Kodratoff, Martine Gross

Browse the full ISMIS paper archive.