Логічне програмування
| dc.date.accessioned | 2017-01-12T09:43:02Z | |
| dc.date.available | 2017-01-12T09:43:02Z | |
| dc.date.issued | 2013 | |
| dc.identifier.citation | Логічне програмування [Електронний ресурс] : опорн. консп. лекцій. - Тернопіль : [б. в.], 2013. - 68 с. | uk_UA |
| dc.identifier.uri | http://dspace.tneu.edu.ua/handle/316497/8596 | |
| dc.publisher | Тернопіль | uk_UA |
| dc.subject | логіка | uk_UA |
| dc.subject | математична логіка | uk_UA |
| dc.subject | предикат | uk_UA |
| dc.subject | квантори | uk_UA |
| dc.subject | семантичні мережі | uk_UA |
| dc.subject | фреймова модель, логічна модель | uk_UA |
| dc.title | Логічне програмування | uk_UA |
| dc.type | Other | uk_UA |