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

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

ШкільнякссШкільняк, С. С.
    Реномінативні логіки квазіарних предикатів [Текст] / С.С. Шкільняк, Д.Б. Волковицький // Компьютерная математика : сборник научных трудов. — Киев, 2016. — Вып. 1. — С. 46-57.

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

логіка предикатів, логика предикатов, predicate logic ; прикладна логіка, прикладная логика ; реномінація, renomination

- Є складовою частиною документа:

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

  • Окремі фонди та колекції КНУ // праці авторів КНУТШ, труды авторов КНУТШ, работы авторов КНУТШ



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