Будь ласка, використовуйте цей ідентифікатор, щоб цитувати або посилатися на цей матеріал:
http://dspace.wunu.edu.ua/handle/316497/8596
Назва: | Логічне програмування |
Ключові слова: | логіка математична логіка предикат квантори семантичні мережі фреймова модель, логічна модель |
Дата публікації: | 2013 |
Видавництво: | Тернопіль |
Бібліографічний опис: | Логічне програмування [Електронний ресурс] : опорн. консп. лекцій. - Тернопіль : [б. в.], 2013. - 68 с. |
URI (Уніфікований ідентифікатор ресурсу): | http://dspace.tneu.edu.ua/handle/316497/8596 |
Розташовується у зібраннях: | Курси лекцій |
Файли цього матеріалу:
Файл | Опис | Розмір | Формат | |
---|---|---|---|---|
Лекції.pdf | 546.47 kB | Adobe PDF | Переглянути/Відкрити |
Усі матеріали в архіві електронних ресурсів захищені авторським правом, всі права збережені.