熱門搜尋
分類(單選) |
顯示所有篩選
|
---|---|
配送方式(可複選) | |
其他(可複選) |
搜尋結果共 3 筆, 頁數 1 / 1
呈現:
Well-Quasi Orders in Computation, Logic, Language and Reasoning: A Unifying Concept of Proof Theory, Automata Theory, Formal Languages and Descriptive
Introduces readers to a highly active branch of combinatorics Unifies interdisciplinary areas betwee... more |
|||
Beyond the Horizon of Computability: 17th Conference on Computability in Europe, Cie 2021, Virtual Event, July 5-9, 2021, Proceedings
This book constitutes the proceedings of the 17th Conference on Computability in Europe, CiE 2021, o... more |
|||
Well-Quasi Orders in Computation, Logic, Language and Reasoning: A Unifying Concept of Proof Theory, Automata Theory, Formal Languages and Descriptive
Introduces readers to a highly active branch of combinatorics Unifies interdisciplinary areas betwee... more |