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 - - Libros - Springer Nature Switzerland AG - 9783030302313 - 26 de agosto de 2021
En caso de que portada y título no coincidan, el título será el correcto

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

Precio
$ 189,99
sin IVA

Pedido desde almacén remoto

Entrega prevista 25 de jun. - 8 de jul.

Nuestros clientes opinan:

Política de devolución de 14 días conforme a la legislación europea de protección de los consumidores
Mejor valorado en Trustpilot
Añadir a tu lista de deseos de iMusic

También disponible como:

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

Medios de comunicación Libros     Paperback Book   (Libro con tapa blanda y lomo encolado)
Publicado 26 de agosto de 2021
ISBN13 9783030302313
Editores Springer Nature Switzerland AG
Páginas 391
Dimensiones 150 × 220 × 10 mm   ·   562 g
Lengua Alemán  
Editor Schuster, Peter M.
Editor Seisenberger, Monika
Editor Weiermann, Andreas

Mere med samme udgiver