Поиск :
Личный кабинет :
Электронный каталог: Алгорифм машинного поиска естественного логического вывода в исчислении высказываний
Алгорифм машинного поиска естественного логического вывода в исчислении высказываний
Доступно
1 из 1
1 из 1
Книга
Автор:
Алгорифм машинного поиска естественного логического вывода в исчислении высказываний
Издательство: Наука, Ленинградское отделение, 1965 г.
ISBN отсутствует
Автор:
Алгорифм машинного поиска естественного логического вывода в исчислении высказываний
Издательство: Наука, Ленинградское отделение, 1965 г.
ISBN отсутствует
Заказать 
На полку
Книга
51 А45
Алгорифм машинного поиска естественного логического вывода в исчислении высказываний / Н.А. Шанин, Г.В. Давыдов, С.Ю. Маслов, Г.Е. Минц, В.П. Оревков, А.О. Слисенко ; кол. авт. Математический институт имени В. А. Стеклова (Москва). Ленинградское отделение. – Москва ; Ленинград : Наука, Ленинградское отделение, 1965. – 39 с. : 0.25.
518.5
164
общий = МАТЕМАТИЧЕСКАЯ ЛОГИКА
51 А45
Алгорифм машинного поиска естественного логического вывода в исчислении высказываний / Н.А. Шанин, Г.В. Давыдов, С.Ю. Маслов, Г.Е. Минц, В.П. Оревков, А.О. Слисенко ; кол. авт. Математический институт имени В. А. Стеклова (Москва). Ленинградское отделение. – Москва ; Ленинград : Наука, Ленинградское отделение, 1965. – 39 с. : 0.25.
518.5
164
общий = МАТЕМАТИЧЕСКАЯ ЛОГИКА
| Филиал | Всего | Доступно для брони | Доступно для выдачи | Бронирование |
|---|---|---|---|---|
| ОХОФ | 1 | 1 | 1 | Заказать |