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 - Andreas Weiermann-Peter M. Schuster-Monika Seisenb - Grāmatas - Springer Nature Switzerland AG - 9783030302283 - 2020. gada 3. janvāris
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,49

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

Paredzamā piegāde . gada 13. - 23. nov.
Ziemassvētku dāvanas var atgriezt līdz 31. janvārim
Saņemiet paziņojumus par jauniem Andreas Weiermann-Peter M. Schuster-Monika Seisenb izdevumiem
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     Hardcover Book   (Grāmata ar cieto muguriņu un vāku)
Izlaists 2020. gada 3. janvāris
ISBN13 9783030302283
Izdevēji Springer Nature Switzerland AG
Lapas 391
Izmēri 242 × 163 × 29 mm   ·   762 g
Valoda Vācu  
Redaktors Schuster, Peter M.
Redaktors Seisenberger, Monika
Redaktors Weiermann, Andreas

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