Andreas Weiermann - Böcker
Visar alla böcker från författaren Andreas Weiermann. Handla med fri frakt och snabb leverans.
3 produkter
3 produkter
Del 53 - Trends in Logic
Well-Quasi Orders in Computation, Logic, Language and Reasoning
A Unifying Concept of Proof Theory, Automata Theory, Formal Languages and Descriptive Set Theory
Inbunden, Engelska, 2020
1 891 kr
Skickas inom 10-15 vardagar
This book bridges the gaps between logic, mathematics and computer science by delving into the theory of well-quasi orders, also known as wqos.
Del 53 - Trends in Logic
Well-Quasi Orders in Computation, Logic, Language and Reasoning
A Unifying Concept of Proof Theory, Automata Theory, Formal Languages and Descriptive Set Theory
Häftad, Engelska, 2021
1 891 kr
Skickas inom 10-15 vardagar
This book bridges the gaps between logic, mathematics and computer science by delving into the theory of well-quasi orders, also known as wqos.
Del 12813 - Lecture Notes in Computer Science
Connecting with Computability
17th Conference on Computability in Europe, CiE 2021, Virtual Event, Ghent, July 5–9, 2021, Proceedings
Häftad, Engelska, 2021
535 kr
Skickas inom 10-15 vardagar
This book constitutes the proceedings of the 17th Conference on Computability in Europe, CiE 2021, organized by the University of Ghent in July 2021.