Ergebnisse filtern
-
- 2
- 1
-
- 1
- 1
- 1
-
- 2
- 2
- 1
- 3
-
- 2
- 1
-
- 1
- 1
- 1
-
- 3
-
- 3
-
- 3
Mathematik | Informatik
-
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
-
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
