Normal view
MARC view
К упрощению сколемовых функций в булевых формулах с кванторами Н. П. Шатилов, М. Л. Громов
Material type: ArticleSubject(s): квантифицированные булевы формулы | сколемовые функцииGenre/Form: статьи в журналах Online resources: Click here to access online In: Известия высших учебных заведений. Физика Т. 55, № 9/2. С. 321-322No physical items for this record
Библиогр.: 3 назв.
There are no comments on this title.