Наукова електронна бібліотека
періодичних видань НАН України

Перегляд Український математичний журнал, 2007, том 59 за автором "Денисов, А.С."

Репозиторій DSpace/Manakin

Перегляд Український математичний журнал, 2007, том 59 за автором "Денисов, А.С."

Сортувати за: Порядок: Результатів:

  • Выполнимость ярких формул 
    Денисов, А.С. (Український математичний журнал, 2007)
    Досліджується один із розв'язних підкласів кванторних формул у чистому численні предикатів. Отримано необхідну та достатню умову здійсненності для формул, що входять до нього.

Пошук


Розширений пошук

Перегляд

Мій обліковий запис