Symbiose Project Team

Home

Scientific Axes

Members

Publications

Belleann\ée, C and J Nicolas (1991), "Static Learning for an Adaptative Theorem Prover", Machine Learning - EWSL 91 (European Working Session on Learning), Lecture Notes in Artificial Intelligence: 298-311.

Webpage Link