Combining Induction and Saturation-Based Theorem Proving von Echenim, M., Peltier, N.

Volltext

A Superposition Calculus for Abductive Reasoning von Echenim, M., Peltier, N.

Volltext

On Variable-inactivity and Polynomial Formula-Satisfiability Procedures von Bonacina, M. P., Echenim, M.

Volltext

Unification in a class of permutative theories von BOY DE LA TOUR, Thierry, ECHENIM, Mnacho

Volltext

NP-Completeness results for deductive problems on stratified terms von BOY DE LA TOUR, Thierry, ECHENIM, Mnacho

Volltext

On the Complexity of Deduction Modulo Leaf Permutative Equations von Boy de la Tour, Thierry, Echenim, Mnacho

Volltext

Overlapping Leaf Permutative Equations von de la Tour, Thierry Boy, Echenim, Mnacho

Volltext

Multi-scale modeling of the follicle selection process in the ovary von Echenim, Nki, Monniaux, Danielle, Sorine, Michel, Clément, Frédérique

Volltext

Automated Reasoning: 6th International Joint Conference, IJCAR 2012, Manchester, UK, June 26-29, 2012, Proceedings von Gramlich, Bernhard, Miller, Dale, Sattler, Ulrike

Volltext

Le logiciel MIXMOD d'analyse de mélange pour la classification et l'analyse discriminante von Biernacki, Christophe, Celeux, Gilles, Echenim, Anwuli, Govaert, Gérard, Langrognet, Florent

Volltext

A multiscale model for the controlled selection process of ovulatory follicles von Echenim, N., Sorine, M., Clement, F.

Volltext

Aspects de l'écriture dans le roman africain von ECHENIM, Kester

Volltext

Aspects de l'écriture dans le roman africain von Echenim, Kester

Volltext

La structure narrative de " Soleils des Indépendances " von ECHENIM, Kester

Volltext

La structure narrative de "Soleils des Indépendances" von Echenim, Kester

Volltext