Automated Inductive Reasoning as a Support of Deductive Reasoning in a User-Independent Automation of Inductive Theorem Proving.

Marta Franov

Browse the full ISMIS paper archive.