EasyChair Smart SlideDocs/Log in
Conference: MCLP 2025 (International Conference on Mathematical and Computational Linguistics for Proofs)

This page shows all presentations from this conference published in EasyChair Smart Slide.

Using the theory of institutions for semiotic–argumentational treatment of mathematical proof

Using the theory of institutions for semiotic–argumentational treatment of mathematical proof

Georgios V. Pitsiladis and Petros Stefaneas

Presentations in this collection: 1
Copyright © 2002 – 2025 EasyChair