Sara Negri

ספרים שבהם Sara Negri מופיע/ה ברשימת המחברים, לא כמחבר/ת הראשי/ת: ספרים משותפים, אוספים וסיכומים.

Mathesis Universalis, Computability and ProofStefania Centrone

Mathesis Universalis, Computability and Proof

Stefania Centrone · 2019

Automated Reasoning with Analytic Tableaux and Related MethodsAnupam Das

Automated Reasoning with Analytic Tableaux and Related Methods

Anupam Das · 2021