Ergebnisse filtern
-
- 3
- 2
-
- 3
- 2
-
- 4
- 1
-
- 2
- 3
-
- 5
-
- 5
-
- 5
-
Schuster / Weiermann / Seisenberger Well-Quasi Orders in Computation, Logic, Language and Reasoning
A Unifying Concept of Proof Theory, Automata Theory, Formal Languages and Descriptive Set Theory1. Auflage 2020Verlag: Springer International PublishingISBN: 978-3-030-30228-3Medium: Buch181,89 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Schuster / Weiermann / Seisenberger Well-Quasi Orders in Computation, Logic, Language and Reasoning
A Unifying Concept of Proof Theory, Automata Theory, Formal Languages and Descriptive Set Theory1. Auflage 2020Verlag: Springer Nature SwitzerlandISBN: 978-3-030-30231-3Medium: Buch181,89 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Schuster / Seisenberger / Weiermann Well-Quasi Orders in Computation, Logic, Language and Reasoning
A Unifying Concept of Proof Theory, Automata Theory, Formal Languages and Descriptive Set Theory1. Auflage 2020Verlag: Springer International PublishingISBN: 978-3-030-30229-0Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark181,89 € (inkl. MwSt.)
sofort verfügbar
-
De Mol / Fernández-Duque / Weiermann Connecting with Computability
17th Conference on Computability in Europe, CiE 2021, Virtual Event, Ghent, July 5-9, 2021, Proceedings1. Auflage 2021Verlag: Springer International PublishingISBN: 978-3-030-80048-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
De Mol / Weiermann / Manea Connecting with Computability
17th Conference on Computability in Europe, CiE 2021, Virtual Event, Ghent, July 5–9, 2021, Proceedings1. Auflage 2021Verlag: Springer International PublishingISBN: 978-3-030-80049-9Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar
Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular
Bitte ändern Sie das Passwort
