Scientific Library of Tomsk State University

   E-catalog        

Your search returned 2 results.

1.
No cover image available
Система машинной поддержки доказательства: от тактикалов к генератору тактикалов И. С. Ануреев

by Ануреев, И. С.

Source: Доклады IV Всероссийской конференции с международным участием "Новые информационные технологии в исследовании сложных структур" и Сибирской научной школы-семинара "Проблемы компьютерной безопасности" (Томск, ТГУ, 10-13 сентября 2002 г.)Material type: Article Article; Format: print ; Literary form: Not fiction ; Audience: Specialized; Availability: No items available :
Log in to add tags Add to cart
2.
No cover image available
Выбор объектной модели для унифицированного представления дискретных и непрерывных структур в онтологических системах переходов И. С. Ануреев

by Ануреев, И. С.

Source: Новые информационные технологии в исследовании сложных структур : тезисы докладов седьмой Российской конференции с международным участиемMaterial type: Article Article; Format: print ; Literary form: Not fiction ; Audience: Specialized; Availability: No items available :
Log in to add tags Add to cart