Symbiose Project Team

Home

Scientific Axes

Members

Publications

Belleann\ée, C (1993), "Generating New Inference Rules for a Tableaux-like Theorem Prover", Workshop on Theorem Proving with Analytic Tableaux and Related Methods: 23-33.