NEGRI, SARA
NEGRI, SARA
100021 - Dipartimento di Matematica
Mostra
records
Risultati 1 - 3 di 3 (tempo di esecuzione: 0.001 secondi).
Advances in Modal Logic
2020-01-01 Negri, Sara; Olivetti, Nicola; Sandu, Gabriel; Verbrugge, Rineke
Automated Reasoning with Analytic Tableaux and Related Methods. 30th International Conference, TABLEAUX 2021, Birmingham, UK, September 6–9, 2021, Proceedings
2021-01-01 Das, Anupam; Negri, Sara
Mathesis Universalis, Computability and Proof: Gottfried Leibniz's philosophy of logic in the Digital Age
2019-01-01 Centrone, Stefania; Negri, Sara; Sarikaya, Deniz; Schuster, Peter
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| Advances in Modal Logic | 1-gen-2020 | Negri, Sara; Olivetti, Nicola; Sandu, Gabriel; Verbrugge, Rineke | |
| Automated Reasoning with Analytic Tableaux and Related Methods. 30th International Conference, TABLEAUX 2021, Birmingham, UK, September 6–9, 2021, Proceedings | 1-gen-2021 | Das, Anupam; Negri, Sara | |
| Mathesis Universalis, Computability and Proof: Gottfried Leibniz's philosophy of logic in the Digital Age | 1-gen-2019 | Centrone, Stefania; Negri, Sara; Sarikaya, Deniz; Schuster, Peter |