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

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

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

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

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

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

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



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