Метод разделения множества дизъюнктов в нахождении решения булевых формул с кванторами экспериментальные исследования влияния метода разделения
множества дизъюнктов на скорость сколемизации таких формул.
Фрактальные множества и их применение в 3D-графикеВ статье рассмотрены фрактальные
множества и их применение в 3D-графике. С их помощью можно создать