Решение больших систем логических уравнений: метод минимизации дерева поиска
| Published in: | Доклады IV Всероссийской конференции с международным участием "Новые информационные технологии в исследовании сложных структур" и Сибирской научной школы-семинара "Проблемы компьютерной безопасности" (Томск, ТГУ, 10-13 сентября 2002 г.) С. 260-265 |
|---|---|
| Main Author: | |
| Other Authors: | |
| Format: | Book Chapter |
| Language: | Russian |
| Subjects: | |
| Online Access: | Перейти в каталог НБ ТГУ |