Электронный каталог
👓
eng
|
rus
Библиотека Московского Педагогического
Государственного Университета
Адрес: ул. М. Пироговская, д. 1, стр.1
Телефон: 8(499)255-27-57
Часы работы: с 10.00 до 18.00
Поиск :
Новые поступления
Простой поиск
Расширенный поиск
Авторы
Издательства
Серии
Тезаурус (Рубрики)
Учебная литература:
По дисциплинам
По образовательным программам
Список дисциплин
Статистика поисков
Электронная библиотека
База выпускных квалификационных работ
Электронные ресурсы
Помощь
Личный кабинет :
Штрих-код
Пароль
Электронный каталог: Книги в рубрике:
Рубрики
--> логические системы
Рубрика
Название:
логические системы
Печать списка
Связанные описания:
Отобрать для печати:
страницу
|
инверсия
|
сброс
|
печать
(
0
)
Доступно
1 из 1
Книга
Вып. 3. : Логика и компьютер. Доказательство и его поиск, (Курс логики и компьютерный практикум) / В. А. Смирнов, В. И. Маркин, А. Е. Новодворский, А. В. Смирнов
Серия:
Кибернетика: неограниченные возможности и возможные ограничения
Наука, 1996 г.
ISBN 5-02-013603-4
Заказать
На полку
Доступно
1 из 2
Книга
Исследование логических систем
Наука, 1970 г.
ISBN отсутствует
Заказать
На полку