Логики частичных предикатов, индуцированные трехзначными логиками Клини
dc.contributor.author | Буй, Д.Б. | |
dc.contributor.author | Шишацкая, Е.В. | |
dc.contributor.author | Мухаммед, К.Д. | |
dc.contributor.author | Санмейд, Ф. | |
dc.date.accessioned | 2017-05-20T19:10:30Z | |
dc.date.available | 2017-05-20T19:10:30Z | |
dc.date.issued | 2015 | |
dc.description.abstract | Рассматриваются операции дизъюнкции и конъюнкции частичных предикатов, индуцированные операциями дизъюнкции и конъюнкции слабой и сильной трехзначных логик Клини. | uk_UA |
dc.description.abstract | Розглядаються операції диз’юнкції та кон’юнкції часткових предикатів, індуковані операціями диз’юнкції та кон’юнкції слабкої та сильної тризначних логік Кліні. | uk_UA |
dc.description.abstract | We consider the operations of disjunction and conjunction of partial predicates induced operations of disjunction and conjunction of weak and strong Kleene’s three-valued logics. | uk_UA |
dc.identifier.citation | Логики частичных предикатов, индуцированные трехзначными логиками Клини / Д.Б. Буй, Е.В. Шишацкая, К.Д. Мухаммед, Ф. Санмейд // Штучний інтелект. — 2015. — № 3-4. — С. 84-88. — Бібліогр.: 8 назв. — рос. | uk_UA |
dc.identifier.issn | 1561-5359 | |
dc.identifier.udc | 519.6 | |
dc.identifier.uri | https://nasplib.isofts.kiev.ua/handle/123456789/117207 | |
dc.language.iso | ru | uk_UA |
dc.publisher | Інститут проблем штучного інтелекту МОН України та НАН України | uk_UA |
dc.relation.ispartof | Штучний інтелект | |
dc.status | published earlier | uk_UA |
dc.subject | Інтелектуальні технології прийняття рішень | uk_UA |
dc.title | Логики частичных предикатов, индуцированные трехзначными логиками Клини | uk_UA |
dc.title.alternative | Логіки часткових предикатів, індуковані тризначними логіками Кліні | uk_UA |
dc.title.alternative | Partial predicates logics induced Kleene’s three-valued logics | uk_UA |
dc.type | Article | uk_UA |
Файли
Оригінальний контейнер
1 - 1 з 1
Контейнер ліцензії
1 - 1 з 1
Завантаження...
- Назва:
- license.txt
- Розмір:
- 817 B
- Формат:
- Item-specific license agreed upon to submission
- Опис: