Normal view
MARC view
Эффективное внутреннее представление дизъюнктов и интервалов для проверки выполнимости КНФ Г. В. Кидярова, О. В. Кондратьева
Material type: ArticleSubject(s): информационные технологии | труды ученых ТГУ | дискретные структуры | дизъюнкты | конъюнктивная нормальная форма In: Новые информационные технологии в исследовании сложных структур : материалы Девятой Российской конференции с международным участием С. 61No physical items for this record
Библиогр.: 3 назв.
There are no comments on this title.
Log in to your account to post a comment.