Catherine Belleannée, Jacques Nicolas. Static Learning for an Adaptive Theorem Prover. In Yves Kodratoff, editor, Machine Learning - EWSL-91, European Working Session on Learning, Porto, Portugal, March 6-8, 1991, Proceedings. Volume 482 of Lecture Notes in Computer Science, pages 298-311, Springer, 1991.
Abstract is missing.