Ergebnisse filtern
-
- 5
- 1
-
- 1
- 1
- 1
- 1
- 1
- 1
-
- 6
- 2
- 2
- 2
- 1
- 1
-
- 1
- 1
- 2
- 1
- 1
-
- 1
- 1
- 4
-
- 6
-
- 6
-
- 6
Mathematik | Informatik
-
Leitsch / Baaz Methods of Cut-Elimination
2011Verlag: Springer NetherlandsISBN: 978-94-007-3497-5Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Baaz / Leitsch Methods of Cut-Elimination
2011. Auflage 2011Verlag: SpringerISBN: 978-94-007-0319-3Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Voronkov / Baaz Logic for Programming, Artificial Intelligence, and Reasoning
9th International Conference, LPAR 2002, Tbilisi, Georgia, October 14-18, 2002 Proceedings2002Verlag: Springer Berlin HeidelbergISBN: 978-3-540-00010-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Makowsky / Baaz Computer Science Logic
17th International Workshop, CSL 2003, 12th Annual Conference of the EACSL, and 8th Kurt Gödel Colloquium, KGC 2003, Vienna, Austria, August 25-30, 2003, Proceedings2003Verlag: Springer Berlin HeidelbergISBN: 978-3-540-40801-7Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
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
-
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
Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular
Bitte ändern Sie das Passwort
