Schuster Peter M., Seisenberger Monika, Weiermann Andreas Well-Quasi Orders in Computation, Logic, Language and Reasoning: A Unifying Concept of Proof Theory, Automata Theory, Formal Languages and Descriptive 9783030302283

Варианты приобретения

Цена: 23757.00р.
Кол-во:
Наличие: Поставка под заказ. Есть в наличии на складе поставщика.
Склад Америка: Есть
При оформлении заказа до: 2025-07-28
Ориентировочная дата поставки: Август-начало Сентября
При условии наличия книги у поставщика.

Добавить в корзину

в Мои желания

Автор: Schuster Peter M., Seisenberger Monika, Weiermann Andreas
Название: Well-Quasi Orders in Computation, Logic, Language and Reasoning: A Unifying Concept of Proof Theory, Automata Theory, Formal Languages and Descriptive
ISBN: 9783030302283
Издательство: Springer
Классификация:

Философия: Логика

Комбинаторика и теория графов

Географические информационные системы (ГИС) и дистанционное зондирование

Математическая теория вычислений

Архитектура и логическое построение вычислительных систем

ISBN-10: 3030302288
Обложка/Формат: Hardcover
Страницы: 391
Вес: 0.74 кг.
Дата издания: 03.01.2020
Серия: Trends in logic
Язык: English
Издание: 1st ed. 2020
Иллюстрации: 100 tables, color; 4 illustrations, color; 99 illustrations, black and white; x, 391 p. 103 illus., 4 illus. in color.
Размер: 234 x 156 x 24
Читательская аудитория: Professional & vocational
Подзаголовок: A unifying concept of proof theory, automata theory, formal languages and descriptive set theory
Ссылка на Издательство: Link
Рейтинг:
Поставляется из: Германии
Описание: This book bridges the gaps between logic, mathematics and computer science by delving into the theory of well-quasi orders, also known as wqos.

Well-Quasi Orders in Computation, Logic, Language and Reasoning: A Unifying Concept of Proof Theory, Automata Theory, Formal Languages and Descriptive, Schuster Peter M., Seisenberger Monika, Weiermann Andreas