Kozhitov S L

Publications in Math-Net.Ru

1. The tasks of interactive processing of search queries in the set theory formalization
   
   Izv. Saratov Univ. Math. Mech. Inform., 7:1 (2007),  78–82