Поиск :
Личный кабинет :
Электронный каталог: Автоматизация поиска доказательства теорем в математике
Автоматизация поиска доказательства теорем в математике
Книга
Автор:
Автоматизация поиска доказательства теорем в математике : [сборник]
Издательство: ИТК, 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 | Заказать |