Поиск :
Личный кабинет :
Электронный каталог: Автоматизация поиска доказательства теорем в математике
Автоматизация поиска доказательства теорем в математике
Книга
Автор:
Автоматизация поиска доказательства теорем в математике
Издательство: Институт кибернетики АН УССР, 1974 г.
ISBN отсутствует
Автор:
Автоматизация поиска доказательства теорем в математике
Издательство: Институт кибернетики АН УССР, 1974 г.
ISBN отсутствует
На полку
Книга
519.7 А22
Автоматизация поиска доказательства теорем в математике . – Киев : Институт кибернетики АН УССР, 1974 . – 110 с. – На рус. яз.
519.7
Общий = Кибернетика. Математические вопросы теорий управляющих систем, информации и семиотики
Коллекции = Математическая библиотека
519.7 А22
Автоматизация поиска доказательства теорем в математике . – Киев : Институт кибернетики АН УССР, 1974 . – 110 с. – На рус. яз.
519.7
Общий = Кибернетика. Математические вопросы теорий управляющих систем, информации и семиотики
Коллекции = Математическая библиотека
| Филиал | Всего | Доступно для выдачи |
|---|---|---|
| Промышленная, 17 | 1 | - |