Forskningsresultat per år
Forskningsresultat per år
Sökresultat
-
2022
Investigations into the Predicate Calculus
Negri, S. (Redaktör), von Plato, J. (Redaktör) & Ketonen, O., 2022, College publications. (Logic PhDs)Forskningsoutput: Bok/rapport › Antologi eller special utgåva › Vetenskaplig
-
2021
Automated Reasoning with Analytic Tableaux and Related Methods: 30th International Conference, TABLEAUX 2021, Birmingham, UK, September 6–9, 2021, Proceedings
Das, A. (Redaktör) & Negri, S. (Redaktör), 2021, Cham: Springer Nature Switzerland AG. 486 s. (Lecture Notes in Computer Science)Forskningsoutput: Bok/rapport › Antologi eller special utgåva › Vetenskaplig › Peer review
-
2020
Advances in Modal Logic
Olivetti, N. (Redaktör), Verbrugge, R. (Redaktör), Negri, S. (Redaktör) & Sandu, G. (Redaktör), 2020, College publications. 620 s. (Advances in Modal Logic; vol. 13)Forskningsoutput: Bok/rapport › Antologi eller special utgåva › Vetenskaplig › Peer review
-
2019
Mathesis Universalis, Computability and Proof: Gottfried Leibniz's philosophy of logic in the Digital Age
Centrone, S. (Redaktör), Negri, S. (Redaktör), Sarikaya, D. (Redaktör) & Schuster, P. (Redaktör), 2019, Springer. 374 s. (Synthese Library)Forskningsoutput: Bok/rapport › Antologi eller special utgåva › Vetenskaplig › Peer review