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

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

Д
17957Тимофєєв, Валентин Георгійович.
    Дослідження та розробка алгоритмів перевірки виконуваності в логіках композиційно-номінативного типу [Текст] : дис. ... канд. фіз.-мат. наук : 01.05.03 / Тимофєєв Валентин Георгійович ; М-во освіти і науки України, Київ. нац. ун-т ім. Тараса Шевченка. — Київ, 2013. — 165 л.

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

логічне програмування, логическое программирование, logic programming ; програмування, программирование, programming

- Зміст:

Додатки: л. 160-165

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

  • ББК науковий // Арифметичні пристрої. Логічні схеми
  • ББК науковий // Програмування



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