Выполнимость ярких формул

Скорочена інформація про документ
dc.contributor.authorДенисов, А.С.
dc.date.accessioned2020-11-02T16:53:29Z
dc.date.available2020-11-02T16:53:29Z
dc.date.issued2007
dc.description.abstractДосліджується один із розв'язних підкласів кванторних формул у чистому численні предикатів. Отримано необхідну та достатню умову здійсненності для формул, що входять до нього.uk_UA
dc.description.abstractWe investigate one solvable subclass of quantified formulas in pure predicate calculus and obtain a necessary and sufficient condition for the satisfiability of formulas from this subclass.uk_UA
dc.identifier.citationВыполнимость ярких формул / А.С. Денисов // Український математичний журнал. — 2007. — Т. 59, № 10. — С. 1432–1435. — Бібліогр.: 4 назв. — рос.uk_UA
dc.identifier.issn1027-3190
dc.identifier.udc510.51
dc.identifier.urihttps://nasplib.isofts.kiev.ua/handle/123456789/172501
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.alternativeSatisfiability of bright formulasuk_UA
dc.typeArticleuk_UA

Файли

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

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

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

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

Колекція

Український математичний журнал, 2007, № 10