Наукова електронна бібліотека
періодичних видань НАН України

Логики частичных предикатов, индуцированные трехзначными логиками Клини

Репозиторій DSpace/Manakin

Показати простий запис статті

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.identifier.citation Логики частичных предикатов, индуцированные трехзначными логиками Клини / Д.Б. Буй, Е.В. Шишацкая, К.Д. Мухаммед, Ф. Санмейд // Штучний інтелект. — 2015. — № 3-4. — С. 84-88. — Бібліогр.: 8 назв. — рос. uk_UA
dc.identifier.issn 1561-5359
dc.identifier.uri http://dspace.nbuv.gov.ua/handle/123456789/117207
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.language.iso ru uk_UA
dc.publisher Інститут проблем штучного інтелекту МОН України та НАН України uk_UA
dc.relation.ispartof Штучний інтелект
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
dc.status published earlier uk_UA
dc.identifier.udc 519.6


Файли у цій статті

Ця стаття з'являється у наступних колекціях

Показати простий запис статті

Пошук


Розширений пошук

Перегляд

Мій обліковий запис