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