Математические модели физических явлений в...
1549,00 руб
в наличии
Аннотация:
Настоящая монография посвящена анализу эффективного и перспективного в плане различных приложений метода формулировки логических систем натурального вывода. Книга не имеет аналогов области формализации логических доказательств. Издание содержит Библиографию, Предметный указатель, Индексы символов, Авторские поправки к тексту.Дополнительные сведения:
| Артикул: 1044641 |
| ISBN: 5-85582-026-2 |
| Тип переплета: в обл. |
| Тираж: 1000 |
| Язык оригинала: англ. |
| Название: Натуральный вывод |
| Дополнительные сведения: Пер. с англ. П. Быстрова |
| Место издания: М. |
| Издатель: ЛОРИ |
| Дата издания: 1997 |
| Количество страниц: 108 |
| Высота, см.: 23 |
Читайте также:
Теория игр : очень краткое введение
278,00 руб
в наличии
Мера и интеграл: краткий курс
431,00 руб
в наличии
Вычисление интегралов с особенностями и решение...
249,00 руб
в наличии
Среднеквадратичная многоцелевая оптимизация
845,00 руб
в наличии
Параметризация краевых задач и прохождения точек...
489,00 руб
под заказ
Сборник задач по дифференциальным уравнениям и...
359,00 руб
под заказ
Книга «Натуральный вывод» в наличии в интернет-магазине «БИБЛИО-ГЛОБУС» по низкой цене.
У Вас есть возможность оформить заказ на книгу Правиц Д. «Натуральный вывод» с подходящим способом доставки:
самовывоз, курьерская доставка или доставка почтой. Доставка заказов в такие города как Москва, Санкт-Петербург, Казань, Екатеринбург, Воронеж, Самара,
Нижний Новгород. Интернет-магазин «БИБЛИО-ГЛОБУС» регулярно проводит акции и предоставляет скидки на книги.