Normal view
MARC view
Система машинной поддержки доказательства: от тактикалов к генератору тактикалов И. С. Ануреев
Material type: ArticleSubject(s): новые информационные технологии | компьютерная безопасность | логика | доказательства | тактикалы In: Доклады IV Всероссийской конференции с международным участием "Новые информационные технологии в исследовании сложных структур" и Сибирской научной школы-семинара "Проблемы компьютерной безопасности" Томск, ТГУ, 10-13 сентября 2002 г. С. 4-8No physical items for this record
Библиогр.: 7 назв.
There are no comments on this title.