Sara Negri – författare

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

11 produkter

Kategorier

11 produkter

Structural Proof Theory
AvSara Negri,Jan von Plato
Häftad, Engelska, 2008
779 kr
Skickas inom 10-15 vardagar
Structural Proof Theory
AvSara Negri,Jan von Plato
Inbunden, Engelska, 2001
1 739 kr
Skickas inom 10-15 vardagar
Proof Analysis
A Contribution to Hilbert's Last Problem
AvSara Negri,Jan von Plato
Inbunden, Engelska, 2011
1 739 kr
Skickas inom 10-15 vardagar
Proof Analysis
A Contribution to Hilbert's Last Problem
AvSara Negri,Jan von Plato
Häftad, Engelska, 2014
779 kr
Skickas inom 10-15 vardagar
Advances in Modal Logic, Volume 13
AvNicola Olivetti,Rineke Verbruggem. fl.
Häftad, Engelska, 2020
389 kr
Skickas inom 5-8 vardagar
Investigations into the Predicate Calculus
AvOiva Ketonen,Sara Negrim. fl.
Häftad, Engelska, 2022
259 kr
Skickas inom 5-8 vardagar
Mathesis Universalis, Computability and Proof
AvStefania Centrone,Sara Negrim. fl.
Inbunden, Engelska, 2019
1 689 kr
Skickas inom 10-15 vardagar
Mathesis Universalis, Computability and Proof
AvStefania Centrone,Sara Negrim. fl.
Häftad, Engelska, 2020
1 689 kr
Skickas inom 10-15 vardagar
Del 12842
Del 12842 - Lecture Notes in Computer Science
Automated Reasoning with Analytic Tableaux and Related Methods
30th International Conference, TABLEAUX 2021, Birmingham, UK, September 6–9, 2021, Proceedings
AvAnupam Das,Sara Negri
Häftad, Engelska, 2021
729 kr
Skickas inom 10-15 vardagar
Nyhet
Del 16688
Del 16688 - Lecture Notes in Computer Science
Automated Reasoning
13th International Joint Conference, IJCAR 2026, Lisbon, Portugal, July 26–29, 2026, Proceedings, Part I
AvArmin Biere,Carsten Lutzm. fl.
Häftad, Engelska, 2026
589 kr
Skickas inom 10-15 vardagar
Nyhet
Del 16689
Del 16689 - Lecture Notes in Computer Science
Automated Reasoning
13th International Joint Conference, IJCAR 2026, Lisbon, Portugal, July 26–29, 2026, Proceedings, Part II
AvArmin Biere,Carsten Lutzm. fl.
Häftad, Engelska, 2026
589 kr
Skickas inom 10-15 vardagar