Оптимизация секвенциальных исчислений для конечнозначных логик с определителем равенства
Vernadsky National Library of Ukraine
Переглянути архів Інформація| Поле | Співвідношення | |
| Title |
Оптимизация секвенциальных исчислений для конечнозначных логик с определителем равенства
|
|
| Creator |
Пынько, А.П.
|
|
| Subject |
Інформатика та кібернетика
|
|
| Description |
Запропоновано ефективну процедуру мінімізації числа засновків правил введення секвенційних числень для пропозиційних скінченнозначних логік з визначником рівності.
An 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. |
|
| Date |
2012-11-19T12:13:28Z
2012-11-19T12:13:28Z 2011 |
|
| Type |
Article
|
|
| Identifier |
Оптимизация секвенциальных исчислений для конечнозначных логик с определителем равенства / А.П. Пынько // Доп. НАН України. — 2011. — № 9. — С. 36-41. — Бібліогр.: 7 назв. — рос.
1025-6415 http://dspace.nbuv.gov.ua/handle/123456789/38682 510.6 |
|
| Language |
ru
|
|
| Relation |
Доповіді НАН України
|
|
| Publisher |
Видавничий дім "Академперіодика" НАН України
|
|