Pastāsti draugiem par šo preci:
Well-Quasi Orders in Computation, Logic, Language and Reasoning: A Unifying Concept of Proof Theory, Automata Theory, Formal Languages and Descriptive Set Theory - Trends in Logic 2020 edition
Well-Quasi Orders in Computation, Logic, Language and Reasoning: A Unifying Concept of Proof Theory, Automata Theory, Formal Languages and Descriptive Set Theory - Trends in Logic
This book bridges the gaps between logic, mathematics and computer science by delving into the theory of well-quasi orders, also known as wqos.
391 pages, 100 Tables, color; 4 Illustrations, color; 99 Illustrations, black and white; X, 391 p. 1
| Mediji | Grāmatas Paperback Book (Grāmata ar mīksto vāku un līmēto muguru) |
| Izlaists | 2021. gada 26. augusts |
| ISBN13 | 9783030302313 |
| Izdevēji | Springer Nature Switzerland AG |
| Lapas | 391 |
| Izmēri | 150 × 220 × 10 mm · 562 g |
| Valoda | Vācu |
| Redaktors | Schuster, Peter M. |
| Redaktors | Seisenberger, Monika |
| Redaktors | Weiermann, Andreas |