| 000 | 01390naa a2200265 c 4500 | ||
|---|---|---|---|
| 001 | vtls000554017 | ||
| 003 | RU-ToGU | ||
| 005 | 20210404230624.0 | ||
| 008 | 161230s2012 ru f 100 0 rus d | ||
| 035 | _ato000554017 | ||
| 040 |
_aRU-ToGU _brus _cRU-ToGU |
||
| 100 | 1 |
_aКидярова, Галина Владимировна _9311073 |
|
| 245 | 1 | 0 |
_aЭффективное внутреннее представление дизъюнктов и интервалов для проверки выполнимости КНФ _cГ. В. Кидярова, О. В. Кондратьева |
| 504 | _aБиблиогр.: 3 назв. | ||
| 653 | _aинформационные технологии | ||
| 653 | _aтруды ученых ТГУ | ||
| 653 | _aдискретные структуры | ||
| 653 | _aдизъюнкты | ||
| 653 | _aконъюнктивная нормальная форма | ||
| 700 | 1 |
_aКондратьева, Ольга Викторовна _992533 |
|
| 773 | 0 |
_tНовые информационные технологии в исследовании сложных структур : материалы Девятой Российской конференции с международным участием _dТомск, 2012 _gС. 61 _z9785895034996 _wto000539722 |
|
| 852 | _aRU-ToGU | ||
| 908 | _aстатья | ||
| 999 | _c408874 | ||