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,49

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

Paredzamā piegāde . gada 5. - 13. nov.
Ziemassvētku dāvanas var atgriezt līdz 31. janvārim

Mūsu klienti saka:

14 dienu atgriešanas politika saskaņā ar Eiropas patērētāju tiesību aizsardzības likumu
Top vieta Trustpilot
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