Производные правила секвенциальных исчислений для конечнозначных логик с определителем равенства

Скорочена інформація про документ
dc.contributor.authorПынько, А.П.
dc.date.accessioned2009-07-16T09:08:10Z
dc.date.available2009-07-16T09:08:10Z
dc.date.issued2008
dc.description.abstractThe derivable rules of axiomatic extensions of sequent calculi with structural rules for the prepositional finitely valued logics with an equality determinant are analyzed with the use of methods of logic programming.en_US
dc.identifier.citationПроизводные правила секвенциальных исчислений для конечнозначных логик с определителем равенства / А.П. Пынько // Доп. НАН України. — 2008. — № 4. — С. 51-54. — Бібліогр.: 2 назв. — рос.en_US
dc.identifier.issn1025-6415
dc.identifier.udc510.6
dc.identifier.urihttps://nasplib.isofts.kiev.ua/handle/123456789/4138
dc.language.isoruen_US
dc.publisherВидавничий дім "Академперіодика" НАН Україниen_US
dc.statuspublished earlieren_US
dc.subjectІнформатика та кібернетикаen_US
dc.titleПроизводные правила секвенциальных исчислений для конечнозначных логик с определителем равенстваen_US
dc.typeArticleen_US

Файли

Оригінальний контейнер

Зараз показуємо 1 - 1 з 1
Ескіз
Назва:
08-04-08.pdf
Розмір:
125.99 KB
Формат:
Adobe Portable Document Format
Завантажити

Контейнер ліцензії

Зараз показуємо 1 - 1 з 1
Ескіз
Назва:
license.txt
Розмір:
1.79 KB
Формат:
Item-specific license agreed upon to submission
Опис:
Завантажити

Колекція

Доповіді НАН України, 2008, № 04