Sara Negri – författare

Visar alla böcker från författaren Sara Negri.

11 produkter

1. 

   Structural Proof Theory

   Av Sara Negri, Jan von Plato

   Häftad, 2008

   949 kr

   Lägg i varukorg

2. 

   Structural Proof Theory

   Av Sara Negri, Jan von Plato

   Inbunden, 2001

   2069 kr

   Lägg i varukorg

3. 

   Proof Analysis

   A Contribution to Hilbert's Last Problem

   Av Sara Negri, Jan von Plato

   Inbunden, 2011

   2359 kr

   Lägg i varukorg

4. 

   Proof Analysis

   A Contribution to Hilbert's Last Problem

   Av Sara Negri, Jan von Plato

   Häftad, 2014

   929 kr

   Lägg i varukorg

5. 

   Advances in Modal Logic, Volume 13

   Av Nicola Olivetti, Rineke Verbrugge m. fl.

   Häftad, 2020

   389 kr

   Lägg i varukorg

6. 

   Investigations into the Predicate Calculus

   Av Oiva Ketonen, Sara Negri m. fl.

   Häftad, 2022

   259 kr

   Lägg i varukorg

7. 

   Mathesis Universalis, Computability and Proof

   Av Stefania Centrone, Sara Negri m. fl.

   Inbunden, 2019

   1709 kr

   Lägg i varukorg

8. 

   Mathesis Universalis, Computability and Proof

   Av Stefania Centrone, Sara Negri m. fl.

   Häftad, 2020

   1709 kr

   Lägg i varukorg

9. 

   Automated Reasoning with Analytic Tableaux and Related Methods

   30th International Conference, TABLEAUX 2021, Birmingham, UK, September 6–9, 2021, Proceedings

   Av Anupam Das, Sara Negri

   Häftad, 2021

   739 kr

   Lägg i varukorg

10. 

    Automated Reasoning

    13th International Joint Conference, IJCAR 2026, Lisbon, Portugal, July 26–29, 2026, Proceedings, Part I

    Av Armin Biere, Carsten Lutz m. fl.

    Häftad, 2026

    589 kr

    Lägg i varukorg

11. 

    Automated Reasoning

    13th International Joint Conference, IJCAR 2026, Lisbon, Portugal, July 26–29, 2026, Proceedings, Part II

    Av Armin Biere, Carsten Lutz m. fl.

    Häftad, 2026

    589 kr

    Lägg i varukorg