Rusinowitch, Michaël

3 publications

IJCAI 1993 Automatic Case Analysis in Proof by Induction Adel Bouhoula, Michaël Rusinowitch

AAAI 1990 Mechanizing Inductive Reasoning Emmanuel Kounalis, Michaël Rusinowitch

IJCAI 1987 Complete Inference Rules for the Cancellation Laws Jieh Hsiang, Michaël Rusinowitch, Kô Sakai