Yann Coscoy (coscoy)

Contributions to Philosophie.ch

Bibliography

Coscoy, Yann. 1997. “A Natural Language Explanation for Formal Proofs.” in LACL’96: First International Conference on Logical Aspects of Computational Linguistics, edited by Christian Retoré, pp. 149–167. Berlin: Springer.