Well-Quasi Orders in Computation, Logic, Language and Reasoning: A Unifying Concept o... (Bog, Paperback / softback, Engelsk)
  1. Forside
  2. Bøger
  3. Engelske bøger
  4. Filosofi: logik
  5. Kombinatorik og grafteori
  6. Matematisk datateori
  7. Dataarkitektur og logisk design
  8. Well-Quasi Orders in Computation, Logic, Language and...

Well-Quasi Orders in Computation, Logic, Language and Reasoning: A Unifying Concept of Proof Theory, Automata Theory, Formal Languages and Descriptive Set Theory

(Bog, Paperback / softback, Engelsk)
Forlag: Springer Nature Switzerland AG

Bemærk: Kan ikke leveres før jul.

Når du handler på WilliamDam.dk, betaler du den pris du ser.

  • Ingen gebyrer
  • Ingen abonnementer
  • Ingen bindingsperioder

Relaterede kategorier

Dataarkitektur og logisk design Filosofi: logik Kombinatorik og grafteori Matematisk datateori
  = Emner / kategorier
  = Sektioner / guides
  = Specialsider
  = Kampagner

Beskrivelse

This book bridges the gaps between logic, mathematics and computer science by delving into the theory of well-quasi orders, also known as wqos.

Læsernes anmeldelser (0)

Alle detaljer

Forlag Springer Nature Switzerland AG
Type Bog
Format Paperback / softback
Sprog Engelsk
Udgave 2020 ed.
Udgivelsesdato 26-08-2021
Første udgivelsesår 2021
Serie Trends in Logic
Illustrationer 4 Illustrations, color; 99 Illustrations, black and white; X, 391 p. 103 illus., 4 illus. in color.
Fagredaktør Peter M. Schuster, Monika Seisenberger, Andreas Weiermann
Originalsprog Switzerland
Sideantal 391
Indbinding Paperback / softback
Forlag Springer Nature Switzerland AG
Sideoplysninger 391 pages, 4 Illustrations, color; 99 Illustrations, black and white; X, 391 p. 103 illus., 4 illus.
Mål 235 x 155
ISBN-13 / EAN-13 9783030302313