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

 

А
150418Шкільняк, Степан Степанович.
    Спектр логік часткових предикатів, орієнтованих на композиційно-номінативні моделі програм [Текст] : автореф. дис. ... д-ра фіз.- мат. наук : 01.05.01 / Шкільняк С.С. ; КНУТШ. — Київ, 2010. — 32 с.


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

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

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

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



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