Корзина Корзина
Регистрация

Купить Extending resource-aware logics. Автор Norihiro Kamide.

Extending resource-aware logics фото
Посмотреть изображения на сайте продавца
Узнать цену и наличие Интернет магазин
Данный товар не найден на сайте магазина. Информация актуальна на 29.10.2020 14:40.
Вы всегда можете уточнить на сайте продавца актуальную цену и наличие на товар "Extending resource-aware logics"

Взгляните на следующие похожие товары

Описание товара

This book introduces some extensions of resource- aware logics, and shows some fundamental (e.g., cut- elimination and completeness) theorems for these extensions. By resource-aware logics, we mean substructural logics without the structural rule of contraction in Gentzen-type sequent calculi. Typical examples of these resource-aware logics are linear logics, which are known to be useful for describing concurrent systems, and non-commutative logics, which are known to be useful for описание на сайте интернет продавца

Характеристики Extending resource-aware logics

Размеры
0.000/0.000/0.000
Кол-во страниц
268
Количество страниц
268
Штрихкод
9783844324280
Вес
0.501
Издательство
LAP Lambert Academic Publishing
ISBN
9783844324280
Высота упаковки
1
Язык издания
Английский
Ширина упаковки
1
Автор на обложке
Norihiro Kamide
Год
2011
Язык
Английский
Возраст
18+
Глубина упаковки
1
Автор
Norihiro Kamide

Кроме Extending resource-aware logics, также взгляните на следующие похожие товары

Если вы хотите найти ответ на вопрос «Зачем мне математика?», эта книга для вас. В ней рассказывается о современных приложениях математики, без которых невозможно существование..

658 ₽
Лучшая цена в интернет магазине my-shop.ru

В корзинуИнтернет магазин my-shop.ru ПодробнееИнтернет магазин my-shop.ru

Настоящая книга была написана в 1993-1994 гг. В ней в жанре бесед с читателем автор рассказывает о том, к чему лично был причастен, о тех людях, которых он знал и с которыми..

308 ₽
Лучшая цена в интернет магазине my-shop.ru

В корзинуИнтернет магазин my-shop.ru ОписаниеИнтернет магазин my-shop.ru

Настоящая монография выдающегося французского математика Ж.-Л.Лионса посвящена двум важным разделам теории уравнений с частными производными - методам решения нелинейных задач и..

826 ₽
Лучшая цена в интернет магазине my-shop.ru

В корзинуИнтернет магазин my-shop.ru ОписаниеИнтернет магазин my-shop.ru

"Математические прогулки" - это научно-просветительский медиапроект, инициаторами которого выступили Институт проблем передачи информации им. А.А. Харкевича Российской академии..

1373 ₽
Лучшая цена в интернет магазине my-shop.ru

В корзинуИнтернет магазин my-shop.ru ПодробнееИнтернет магазин my-shop.ru

Книга представляет собой сборник статей математиков - учеников Андрея Николаевича Колмогорова, работавших вместе с ним как в области науки, так и в области образования. В книгу..

161 ₽
Лучшая цена в интернет магазине my-shop.ru

В корзинуИнтернет магазин my-shop.ru ОписаниеИнтернет магазин my-shop.ru

Возможно, вам казалось, что вы далеки от математики, а все, что вы вынесли из школы, – это «Пифагоровы штаны во все стороны равны». Если вы всегда думали, что математика вам не..

229 ₽
Лучшая цена в интернет магазине Litres.ru

В корзинуИнтернет магазин Litres.ru ОписаниеИнтернет магазин Litres.ru

Главная

Контакты: support@scientific-book.ru