TY  - JOUR
AU  - D. A. Bodrov
AU  - S. L. Kozhitov
AU  - V. N. Polyakov
TI  - The tasks of interactive processing of search queries in the set theory formalization
JO  - Izvestiya of Saratov University. Mathematics. Mechanics. Informatics
PY  - 2007
SP  - 78
EP  - 82
VL  - 7
IS  - 1
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/ISU_2007_7_1_a14/
LA  - ru
ID  - ISU_2007_7_1_a14
ER  -