Электронный каталог НБ БНТУ

rus

Научная библиотека БНТУ
Режим работы: Пн-Пт.
- читальные залы с 9:00 до 20:00
- абонементы с 9:00 до 19:00
Сб. с 9:00 до 16:45. Вс. - выходной.
Адреса: г. Минск, ул. Я. Коласа, 16 (читальные залы)
пр. Независимости, 65 (абонементы и читальные залы)

ОНЛАЙН-ЗАКАЗ книг из каталога
ФИЛИАЛЫ
КНИГООБЕСПЕЧЕННОСТЬ

Поиск :

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

Электронный каталог: Алгорифм машинного поиска естественного логического вывода в исчислении высказываний

Алгорифм машинного поиска естественного логического вывода в исчислении высказываний

Алгорифм машинного поиска естественного логического вывода в исчислении высказываний

Доступно
1 из 1

Книга
Автор:
Алгорифм машинного поиска естественного логического вывода в исчислении высказываний
Издательство: Наука, Ленинградское отделение, 1965 г.
ISBN отсутствует

Заказать

На полку

Книга
51 А45

Алгорифм машинного поиска естественного логического вывода в исчислении высказываний / Н.А. Шанин, Г.В. Давыдов, С.Ю. Маслов, Г.Е. Минц, В.П. Оревков, А.О. Слисенко; кол. авт. Академия наук СССР, Математический институт им. В.А. Стеклова, Ленинградское отделение. – Москва ; Ленинград: Наука, Ленинградское отделение, 1965. – 39 с.: 0.25.

518.5
164

общий = МАТЕМАТИЧЕСКАЯ ЛОГИКА

Филиал

Всего

Доступно для брони

Доступно для выдачи

Бронирование

ОХОФ

1

1

1

Заказать