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

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

ШкільнякосШкільняк, О. С.
    Секвенційні числення темпоральних і мультимодальних логік часткових предикатів [Текст] / О.С. Шкільняк // Штучний інтелект : науково-теоретичний журнал. — Донецьк, 2000. — № 1. — С. 55-66.

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

модальна логіка, модальная логика ; предикат, predicate

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

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

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



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