Электронный каталог СКУНБ им. Лермонтова

rus
Государственное бюджетное учреждение культуры Ставропольского края
«Ставропольская краевая универсальная научная библиотека им. М. Ю. Лермонтова»
Режим работы: 9.00–20.00
Контактная информация: 8(8652)24-32-47
Предварительный заказ литературы

Поиск :

  • Новые поступления
  • Простой поиск
  • Расширенный поиск
  • Поиск одной строкой
  • Авторы
  • Издательства
  • Серии
  • Тезаурус (Рубрики)
  • Помощь

Личный кабинет :


Электронный каталог: Чень, Ч. - Математическая логика и автоматическое доказательство теорем

Чень, Ч. - Математическая логика и автоматическое доказательство теорем

Математическая логика и автоматическое доказательство теорем
Доступно
 1 из 1
Книга
Автор: Чень, Ч.
Математическая логика и автоматическое доказательство теорем : пер. с англ.
Серия: Математическая логика и основания математики
Издательство: Наука, 1983 г.
ISBN отсутствует

Заказать Заказать

На полку На полку


Книга
517 Ч-43
1517777 ОСН

Чень, Ч.
Математическая логика и автоматическое доказательство теорем : пер. с англ. / Ч. Чень, Р. Ли.– Москва : Наука, 1983.– 358 с.– (Математическая логика и основания математики) .

517

-- 1. Математическая логика. 2. Теоремы – Доказательство на вычислительных машинах.
Филиал Фонд Всего Доступно для брони Доступно для выдачи Бронирование
ОСН Общий 1 1 1 Заказать

© Все права защищены ООО "Компания Либэр" , 2009 - 2024  v.20.125