Полиномиальный алгоритм проверки разрешимости ограниченной универсальной теории сравнений по простому модулю. / Косовский, Н.К.
Труды VIII Международной конференции «Дискретные модели в теории управляющих систем». (Москва, 6 – 9 апреля 2009 г.). МАКС Пресс, 2009.Research output: Chapter in Book/Report/Conference proceeding › Article in an anthology
}
TY - CHAP
T1 - Полиномиальный алгоритм проверки разрешимости ограниченной универсальной теории сравнений по простому модулю
AU - Косовский, Н.К.
PY - 2009
Y1 - 2009
M3 - статья в сборнике
BT - Труды VIII Международной конференции «Дискретные модели в теории управляющих систем». (Москва, 6 – 9 апреля 2009 г.)
PB - МАКС Пресс
ER -
ID: 4435456