9783030302313 - well-quasi orders in computation, logic, language and reasoning: a unifying concept of proof theory, automata theory, formal languages and descriptive set theory: 53 (trends in logic) (13 resultados)
Idioma: Inglés
Editorial: Springer, 2021
Serie: Trends in Logic, Libro 46 de 53. Libro 46 de 53 - Trends in Logic
- Tapa blanda
Librería: Ria Christie Collections, Uxbridge, Reino UnidoRia Christie Collections
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 178,07
Envío por EUR 13,99Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: New. In.
Well-quasi Orders in Computation, Logic, Language and Reasoning : A Unifying Concept of Proof Theory, Automata Theory, Formal Languages and Descriptive Set Theory
Schuster, Peter M. (EDT); Seisenberger, Monika (EDT); Weiermann, Andreas (EDT)
Idioma: Inglés
Editorial: Springer, 2021
Serie: Trends in Logic, Libro 46 de 53. Libro 46 de 53 - Trends in Logic
- Tapa blanda
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de AmericaGreatBookPrices
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 195,41
Envío por EUR 2,31Se envía dentro de Estados Unidos de AmericaCantidad disponible: 15 disponibles
Condición: New.
Well-quasi Orders in Computation, Logic, Language and Reasoning : A Unifying Concept of Proof Theory, Automata Theory, Formal Languages and Descriptive Set Theory
Schuster, Peter M. (EDT); Seisenberger, Monika (EDT); Weiermann, Andreas (EDT)
Idioma: Inglés
Editorial: Springer, 2021
Serie: Trends in Logic, Libro 46 de 53. Libro 46 de 53 - Trends in Logic
- Tapa blanda
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de AmericaGreatBookPrices
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Como Nuevo
EUR 223,98
Envío por EUR 2,31Se envía dentro de Estados Unidos de AmericaCantidad disponible: 15 disponibles
Condición: As New. Unread book in perfect condition.
Idioma: Inglés
Editorial: Springer, 2021
Serie: Trends in Logic, Libro 46 de 53. Libro 46 de 53 - Trends in Logic
- Tapa blanda
Librería: preigu, Osnabrück, Alemaniapreigu
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 167,00
Envío por EUR 70,00Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 5 disponibles
Taschenbuch. Condición: Neu. Well-Quasi Orders in Computation, Logic, Language and Reasoning | A Unifying Concept of Proof Theory, Automata Theory, Formal Languages and Descriptive Set Theory | Peter M. Schuster (u. a.) | Taschenbuch | Trends in Logic | x | Englisch | 2021 | Springer | EAN 9783030302313 | Verantwortliche Person…für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
Idioma: Inglés
Editorial: Springer, 2021
Serie: Trends in Logic, Libro 46 de 53. Libro 46 de 53 - Trends in Logic
- Tapa blanda
Librería: Books Puddle, New York, NY, Estados Unidos de AmericaBooks Puddle
Contactar con el vendedorVendedor de 4 estrellasCondición: Nuevo
EUR 259,30
Envío por EUR 3,49Se envía dentro de Estados Unidos de AmericaCantidad disponible: 4 disponibles
Condición: New. 1st ed. 2020 edition NO-PA16APR2015-KAP.
Idioma: Inglés
Editorial: Springer, Springer, 2021
Serie: Trends in Logic, Libro 46 de 53. Libro 46 de 53 - Trends in Logic
- Tapa blanda
Librería: AHA-BUCH GmbH, Einbeck, AlemaniaAHA-BUCH GmbH
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 192,59
Envío por EUR 63,05Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Taschenbuch. Condición: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book bridges the gaps between logic, mathematics and computer science by delving into the theory of well-quasi orders, also known as wqos. This highly active branch of combinatorics is deeply rooted in and between many fields of mathematics an…d logic, including proof theory, commutative algebra, braid groups, graph theory, analytic combinatorics, theory of relations, reverse mathematics and subrecursive hierarchies. As a unifying concept for slick finiteness or termination proofs, wqos have been rediscovered in diverse contexts, and proven to be extremely useful in computer science.The book introduces readers to the many facets of, and recent developments in, wqos through chapters contributed by scholars from various fields. As such, it offers a valuable asset for logicians, mathematicians and computer scientists, as well as scholars and students.
Well-quasi Orders in Computation, Logic, Language and Reasoning: A Unifying Concept of Proof Theory, Automata Theory, Formal Languages and Descriptive Set Theory
Schuster, Peter M. (Editor)/ Seisenberger, Monika (Editor)/ Weiermann, Andreas (Editor)
Idioma: Inglés
Editorial: Springer Nature, 2021
Serie: Trends in Logic, Libro 46 de 53. Libro 46 de 53 - Trends in Logic
- Tapa blanda
Librería: Revaluation Books, Exeter, Reino UnidoRevaluation Books
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 278,52
Envío por EUR 14,59Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 2 disponibles
Paperback. Condición: Brand New. 401 pages. 9.25x6.10x0.83 inches. In Stock.
Idioma: Inglés
Editorial: Springer, 2021
Serie: Trends in Logic, Libro 46 de 53. Libro 46 de 53 - Trends in Logic
- Tapa blanda
- Impresión bajo demanda
Librería: Brook Bookstore On Demand, Napoli, NA, ItaliaBrook Bookstore On Demand
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 150,28
Envío por EUR 6,80Se envía de Italia a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: new. Questo è un articolo print on demand.
Idioma: Inglés
Editorial: Springer International Publishing, 2021
Serie: Trends in Logic, Libro 46 de 53. Libro 46 de 53 - Trends in Logic
- Tapa blanda
- Impresión bajo demanda
Librería: moluna, Greven, Alemaniamoluna
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 162,51
Envío por EUR 48,99Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Peter Schuster is an Associate Professor of Mathematical Logic at the University of Verona. After completing both his doctorate and habilitation in mathematics at the University of Munich, he was a Lecturer at the Uni…versity of Leeds and member .
Idioma: Inglés
Editorial: Springer, Springer Aug 2021, 2021
Serie: Trends in Logic, Libro 46 de 53. Libro 46 de 53 - Trends in Logic
- Tapa blanda
- Impresión bajo demanda
Librería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, AlemaniaBuchWeltWeit Ludwig Meier e.K.
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 192,59
Envío por EUR 23,00Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 2 disponibles
Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book bridges the gaps between logic, mathematics and computer science by delving into the theory of well-quasi orders, also known as wqos. This highly active branch of combinatorics is deeply rooted in and between many fields o…f mathematics and logic, including proof theory, commutative algebra, braid groups, graph theory, analytic combinatorics, theory of relations, reverse mathematics and subrecursive hierarchies. As a unifying concept for slick finiteness or termination proofs, wqos have been rediscovered in diverse contexts, and proven to be extremely useful in computer science.The book introduces readers to the many facets of, and recent developments in, wqos through chapters contributed by scholars from various fields. As such, it offers a valuable asset for logicians, mathematicians and computer scientists, as well as scholars and students. 404 pp. Englisch.
Idioma: Inglés
Editorial: Springer, Springer Aug 2021, 2021
Serie: Trends in Logic, Libro 46 de 53. Libro 46 de 53 - Trends in Logic
- Tapa blanda
- Impresión bajo demanda
Librería: buchversandmimpf2000, Emtmannsberg, BAYE, Alemaniabuchversandmimpf2000
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 192,59
Envío por EUR 60,00Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Taschenbuch. Condición: Neu. This item is printed on demand - Print on Demand Titel. Neuware -Introduces readers to a highly active branch of combinatoricsSpringer-Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 404 pp. Englisch.
Idioma: Inglés
Editorial: Springer, 2021
Serie: Trends in Logic, Libro 46 de 53. Libro 46 de 53 - Trends in Logic
- Tapa blanda
- Impresión bajo demanda
Librería: Majestic Books, Hounslow, Reino UnidoMajestic Books
Contactar con el vendedorVendedor de 4 estrellasCondición: Nuevo
EUR 275,29
Envío por EUR 7,59Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 4 disponibles
Condición: New. Print on Demand.
Idioma: Inglés
Editorial: Springer, 2021
Serie: Trends in Logic, Libro 46 de 53. Libro 46 de 53 - Trends in Logic
- Tapa blanda
- Impresión bajo demanda
Librería: Biblios, frankfurt am main, HESSE, AlemaniaBiblios
Contactar con el vendedorVendedor de 4 estrellasCondición: Nuevo
EUR 275,58
Envío por EUR 9,95Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 4 disponibles
Condición: New. PRINT ON DEMAND.
