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

 

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


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

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

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

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



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