%0 Journal Article
%A D. A. Bodrov
%A S. L. Kozhitov
%A V. N. Polyakov
%T The tasks of interactive processing of search queries in the set theory formalization
%J Izvestiya of Saratov University. Mathematics. Mechanics. Informatics
%D 2007
%P 78-82
%V 7
%N 1
%I mathdoc
%U http://geodesic.mathdoc.fr/item/ISU_2007_7_1_a14/
%G ru
%F ISU_2007_7_1_a14