Bonacina Ilario Space in Weak Propositional Proof Systems 9783319892498

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

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

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

в Мои желания

Автор: Bonacina Ilario
Название: Space in Weak Propositional Proof Systems
ISBN: 9783319892498
Издательство: Springer
Классификация:

Теория вычислительных машин и систем, кибернетика

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

ISBN-10: 3319892495
Обложка/Формат: Paperback
Страницы: 130
Вес: 0.22 кг.
Дата издания: 07.06.2019
Язык: English
Издание: Softcover reprint of
Иллюстрации: 8 illustrations, color; 7 illustrations, black and white; xvii, 130 p. 15 illus., 8 illus. in color.
Размер: 23.39 x 15.60 x 0.81 cm
Читательская аудитория: Professional & vocational
Ссылка на Издательство: Link
Рейтинг:
Поставляется из: Германии
Описание: This book considers logical proof systems from the point of view of their space complexity.

Space in Weak Propositional Proof Systems, Bonacina Ilario