Логічне програмування

Thumbnail Image

Files

Лекції.pdf (546.47 KB)

Date

2013

Authors

Journal Title

Journal ISSN

Volume Title

Publisher

Тернопіль

Abstract

Description

Keywords

логіка, математична логіка, предикат, квантори, семантичні мережі, фреймова модель, логічна модель

Citation

Логічне програмування [Електронний ресурс] : опорн. консп. лекцій. - Тернопіль : [б. в.], 2013. - 68 с.

URI

http://dspace.tneu.edu.ua/handle/316497/8596

Collections

Курси лекцій

Endorsement

Review

Supplemented By

Referenced By