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

Скорочена інформація про документ
dc.contributor.authorПынько, А.П.
dc.date.accessioned2008-09-01T14:32:02Z
dc.date.available2008-09-01T14:32:02Z
dc.date.issued2007
dc.description.abstractTerminated proof procedures in axiomatic extensions of sequent calculi for propositional finitely valued logics with equality determinant are proposed on the basis of logic programming.en_US
dc.identifier.citationПроцедуры вывода в секвенциальных исчислениях для конечнозначных логик с определителем равенства / А.П. Пынько // Доп. НАН України. — 2007. — N 3. — С. 45-51. — Библиогр.: 1 назв. — рус.en_US
dc.identifier.issn1025-6415
dc.identifier.udc510.6
dc.identifier.urihttps://nasplib.isofts.kiev.ua/handle/123456789/1660
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
Ескіз
Назва:
07-03-07.pdf
Розмір:
186.93 KB
Формат:
Adobe Portable Document Format
Завантажити

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

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

Колекція

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