Зведений каталог бібліотек Києва

 
Пошук Відібрані Опис документа
Початкова сторінка Сайт УФД

51
Авто    Автоматизация поиска доказательства теорем в математике [Текст]. — Киев, 1974. — 110с.

- Ключові слова:

автоматизація, автоматизация

- Теми документа

  • ББК науковий // Електронні обчислювальні машини та пристрої дискретної дії. Цифрові ЕОМ
  • ББК науковий // Теорія алгоритмів



Наявність
Установа Кількість Документ на сайті установи
Наукова бібліотека ім.М.Максимовича Київського національного університету імені Тараса Шевченка . н - наукова 1 Перейти на сайт