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 -  - Grāmatas - Springer Nature Switzerland AG - 9783030302313 - 2021. gada 26. augusts
Ja vāks un nosaukums nesakrīt, pareizs ir nosaukums

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

Cena
€ 182,99

Pasūtīts no attālās noliktavas

Paredzamā piegāde . gada 29. okt. - . gada 6. nov.
Pievienot savam iMusic vēlmju sarakstam

Not rated yet

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

Vairāk no tā paša izdevēja