Bouhoula, Adel

3 publications

IJCAI 2024 Primal Grammars Driven Automated Induction Adel Bouhoula, Miki Hermann

ECML-PKDD 2016 A Novel Incremental Covariance-Guided One-Class Support Vector Machine Takoua Kefi, Riadh Ksantini, Mohamed Bécha Kaâniche, Adel Bouhoula

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