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

Скорочена інформація про документ
dc.contributor.authorПынько, А.П.
dc.date.accessioned2012-11-19T12:13:28Z
dc.date.available2012-11-19T12:13:28Z
dc.date.issued2011
dc.description.abstractЗапропоновано ефективну процедуру мінімізації числа засновків правил введення секвенційних числень для пропозиційних скінченнозначних логік з визначником рівності.uk_UA
dc.description.abstractAn effective procedure of minimization of the number of premises for the introduction rules of sequent calculi for propositional finitely-valued logics with equality determinant is proposed.uk_UA
dc.identifier.citationОптимизация секвенциальных исчислений для конечнозначных логик с определителем равенства / А.П. Пынько // Доп. НАН України. — 2011. — № 9. — С. 36-41. — Бібліогр.: 7 назв. — рос.uk_UA
dc.identifier.issn1025-6415
dc.identifier.udc510.6
dc.identifier.urihttps://nasplib.isofts.kiev.ua/handle/123456789/38682
dc.language.isoruuk_UA
dc.publisherВидавничий дім "Академперіодика" НАН Україниuk_UA
dc.relation.ispartofДоповіді НАН України
dc.statuspublished earlieruk_UA
dc.subjectІнформатика та кібернетикаuk_UA
dc.titleОптимизация секвенциальных исчислений для конечнозначных логик с определителем равенстваuk_UA
dc.title.alternativeOptimization of sequent calculi for finitely-valued logics with equality determinantuk_UA
dc.typeArticleuk_UA

Файли

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

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

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

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

Колекція

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