Ergebnisse filtern
-
- 4
- 1
-
- 1
- 1
- 1
- 1
- 1
-
- 2
- 2
- 1
- 2
- 5
-
- 4
- 1
-
- 1
- 2
- 2
-
- 5
-
- 4
- 1
-
- 5
-
Krajícek Proof Complexity Generators
Erscheinungsjahr 2025Verlag: Cambridge University PressISBN: 978-1-009-61170-1Medium: Buch56,50 € (inkl. MwSt.)
vorbestellbar -
Krají¿ek / Krajícek Forcing with Random Variables and Proof Complexity
Erscheinungsjahr 2010Verlag: Cambridge University PressISBN: 978-0-521-15433-8Medium: Buch75,00 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Krají¿ek / Krajícek Proof Complexity
Erscheinungsjahr 2019Verlag: Cambridge University PressISBN: 978-1-108-41684-9Medium: Buch192,10 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Baaz / Friedman / Krajícek Logic Colloquium '01
Erscheinungsjahr 2020Verlag: Cambridge University PressISBN: 978-1-108-69544-2Medium: eBookFormat: PDF
Kopierschutz: Adobe DRM (»Systemvoraussetzungen)133,99 € (inkl. MwSt.)
sofort verfügbar -
Baaz / Friedman / Krajícek Logic Colloquium '01
Lecture Notes In Logic, 201. Auflage 2005Verlag: Taylor & Francis IncISBN: 978-1-56881-248-9Medium: Buch44,00 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular
Bitte ändern Sie das Passwort