Оценка длины убедительных доказательств в языках спецификаций задач

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

Description
Bibliography:	Библиогр.: 7 назв.

Similar Items