Scientific Library of Tomsk State University

   E-catalog        

Your search returned 3 results.

1.
Реализация обратного метода установления выводимости для модальной логики КТ Диссертация на соискание ученой степени кандидата физико-математических наук. 05.13.01 Бурлуцкий В В. ; Науч. рук. Новосельцев В. Б. ; Томский гос. ун-т

by Бурлуцкий, Владимир Владимирович | Новосельцев, Виталий Борисович [науч. рук.] | Томский государственный университет.

Material type: Text Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Publication details: Томск б. и. 2001Availability: No items available :
2.
Реализация обратного метода установления выводимости для модальной логики КТ Автореферат диссертации на соискание ученой степени кандидата физико-математических наук. 05.13.01

by Бурлуцкий, Владимир Владимирович | Томский государственный университет.

Material type: Text Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Publication details: Томск 2001Availability: No items available :
3.
Реализация обратного метода для модальной логики КТ В. В. Бурлуцкий, В. Б. Новосельцев

by Бурлуцкий, Владимир Владимирович | Новосельцев, Виталий Борисович.

Source: Исследования по математическому анализу и алгебре. Вып. 3 : сборник статейMaterial type: Article Article; Format: print ; Literary form: Not fiction ; Audience: Specialized; Availability: No items available :