Головна
Шановні користувачі!
Чернігівська ОУНБ ім. Софії та Олександра Русових проводить роботу відповідно до
Рекомендацій Міністерства культури та інформаційної політики України
щодо актуалізації бібліотечних фондів у зв'язку зі збройною агресією російської федерації проти України.
Авторизація
Прізвище
Пароль
Увійти
 
Вид пошуку
 
Стандартний
Розширений
Професійний
Розподілений
За словником
Бази даних
Електронна картотека аналітичного опису статей - результати пошуку
Електронний каталог книг
Електронна картотека аналітичного опису статей
Зведений краєзнавчий каталог Чернігівщини
Електронна бібліотека
Електронний каталог відділу мистецтв (ноти, диски, грамплатівки)
Електронний каталог книг іноземними мовами
Друковані ЗМІ про нас
Зона пошуку
Ключові слова
Автор
Назва
Рік видання
Формат представлення знайдених документів:
повний
інформаційний
короткий
Пошуковий запит:
(<.>K=LISP<.>)
Загальна кількість знайдених документів
:
1
>
1.
Кургаев, А. Ф.
Формализация списков в метаязыке нормальных форм знаний [Текст] / А. Ф. Кургаев> // Доповіді Національної академії наук України. - 2017. -
№ 10
. - С. 18-27. - Библиогр. в конце ст.
Рубрики:
Комп'ютерна наука і технологія--Штучний інтелект--Представлення знань
Кл.слова (ненормовані):
Список
--
Предикат
--
Рекурсия
--
Лисп
--
LISP
Анотація:
Вперше запропоновано формалізацію предикатів на списках у метамові нормальних форм знань, базуючись на відомих описах цих понять на Прологу, які використовують списковий домен.
Є примірники у відділах:
всього 1 : ВДЕТПСГН (1)
Вільні: ВДЕТПСГН (1)
Знайти схожі
повний формат
короткий формат
всі знайдені
відмічені
окрім відмічених
© Міжнародна Асоціація користувачів і розробників електронних бібліотек і нових інформаційних технологій
(Асоціація ЕБНІТ)