Поиск :
Личный кабинет :
Электронный каталог: Автоматизация поиска доказательства теорем в математике
Автоматизация поиска доказательства теорем в математике
Доступно
1 из 1
1 из 1
Книга
Автор:
Автоматизация поиска доказательства теорем в математике : [сборник]
Издательство: ИТК, 1974 г.
ISBN отсутствует
Автор:
Автоматизация поиска доказательства теорем в математике : [сборник]
Издательство: ИТК, 1974 г.
ISBN отсутствует
Заказать 
На полку
Книга
621-5 А22
Автоматизация поиска доказательства теорем в математике : [сборник] / Академия наук Украинской ССР, Научный совет по проблеме "Кибернетика", Институт кибернетики ; [отв. ред. Ю. В. Капитонова]. – Киев : ИТК, 1974. – 109 с. : 0.32.
621-50
общий = ТЕОРЕМЫ
общий = ДОКАЗАТЕЛЬСТВА (мат. логика)
общий = АВТОМАТИЗАЦИЯ
621-5 А22
Автоматизация поиска доказательства теорем в математике : [сборник] / Академия наук Украинской ССР, Научный совет по проблеме "Кибернетика", Институт кибернетики ; [отв. ред. Ю. В. Капитонова]. – Киев : ИТК, 1974. – 109 с. : 0.32.
621-50
общий = ТЕОРЕМЫ
общий = ДОКАЗАТЕЛЬСТВА (мат. логика)
общий = АВТОМАТИЗАЦИЯ
| Филиал | Всего | Доступно для брони | Доступно для выдачи | Бронирование |
|---|---|---|---|---|
| ОХОФ | 1 | 1 | 1 | Заказать |