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