Оптимизация секвенциальных исчислений для конечнозначных логик с определителем равенства
Запропоновано ефективну процедуру мінімізації числа засновків правил введення секвенційних числень для пропозиційних скінченнозначних логік з визначником рівності....
Збережено в:
| Дата: | 2011 |
|---|---|
| Автор: | |
| Формат: | Стаття |
| Мова: | Russian |
| Опубліковано: |
Видавничий дім "Академперіодика" НАН України
2011
|
| Назва видання: | Доповіді НАН України |
| Теми: | |
| Онлайн доступ: | http://dspace.nbuv.gov.ua/handle/123456789/38682 |
| Теги: |
Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
|
| Назва журналу: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Цитувати: | Оптимизация секвенциальных исчислений для конечнозначных логик с определителем равенства / А.П. Пынько // Доп. НАН України. — 2011. — № 9. — С. 36-41. — Бібліогр.: 7 назв. — рос. |
Репозитарії
Digital Library of Periodicals of National Academy of Sciences of Ukraine| id |
irk-123456789-38682 |
|---|---|
| record_format |
dspace |
| spelling |
irk-123456789-386822012-11-20T12:09:13Z Оптимизация секвенциальных исчислений для конечнозначных логик с определителем равенства Пынько, А.П. Інформатика та кібернетика Запропоновано ефективну процедуру мінімізації числа засновків правил введення секвенційних числень для пропозиційних скінченнозначних логік з визначником рівності. 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. 2011 Article Оптимизация секвенциальных исчислений для конечнозначных логик с определителем равенства / А.П. Пынько // Доп. НАН України. — 2011. — № 9. — С. 36-41. — Бібліогр.: 7 назв. — рос. 1025-6415 http://dspace.nbuv.gov.ua/handle/123456789/38682 510.6 ru Доповіді НАН України Видавничий дім "Академперіодика" НАН України |
| institution |
Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| collection |
DSpace DC |
| language |
Russian |
| topic |
Інформатика та кібернетика Інформатика та кібернетика |
| spellingShingle |
Інформатика та кібернетика Інформатика та кібернетика Пынько, А.П. Оптимизация секвенциальных исчислений для конечнозначных логик с определителем равенства Доповіді НАН України |
| description |
Запропоновано ефективну процедуру мінімізації числа засновків правил введення секвенційних числень для пропозиційних скінченнозначних логік з визначником рівності. |
| format |
Article |
| author |
Пынько, А.П. |
| author_facet |
Пынько, А.П. |
| author_sort |
Пынько, А.П. |
| title |
Оптимизация секвенциальных исчислений для конечнозначных логик с определителем равенства |
| title_short |
Оптимизация секвенциальных исчислений для конечнозначных логик с определителем равенства |
| title_full |
Оптимизация секвенциальных исчислений для конечнозначных логик с определителем равенства |
| title_fullStr |
Оптимизация секвенциальных исчислений для конечнозначных логик с определителем равенства |
| title_full_unstemmed |
Оптимизация секвенциальных исчислений для конечнозначных логик с определителем равенства |
| title_sort |
оптимизация секвенциальных исчислений для конечнозначных логик с определителем равенства |
| publisher |
Видавничий дім "Академперіодика" НАН України |
| publishDate |
2011 |
| topic_facet |
Інформатика та кібернетика |
| url |
http://dspace.nbuv.gov.ua/handle/123456789/38682 |
| citation_txt |
Оптимизация секвенциальных исчислений для конечнозначных логик с определителем равенства / А.П. Пынько // Доп. НАН України. — 2011. — № 9. — С. 36-41. — Бібліогр.: 7 назв. — рос. |
| series |
Доповіді НАН України |
| work_keys_str_mv |
AT pynʹkoap optimizaciâsekvencialʹnyhisčislenijdlâkonečnoznačnyhlogiksopredelitelemravenstva |
| first_indexed |
2023-10-18T17:48:33Z |
| last_indexed |
2023-10-18T17:48:33Z |
| _version_ |
1796142539807391744 |