You're using an ancient browser to surf the modern web. Please update to the latest version (and don't use Internet Explorer!).

Leonardi.DB

a logical geometry project

Sara Negri

Sara Negri edited the following 1 source, containing a total of 0 diagrams.: Das, Anupam, and Sara Negri, eds. 2021. Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX 2021). Cham: Springer. (0 diagrams)

↑ Back to top ↑