Voir la notice de l'article provenant de la source Math-Net.Ru
@article{ISU_2007_7_1_a14, author = {D. A. Bodrov and S. L. Kozhitov and V. N. Polyakov}, title = {The tasks of interactive processing of search queries in the set theory formalization}, journal = {Izvestiya of Saratov University. Mathematics. Mechanics. Informatics}, pages = {78--82}, publisher = {mathdoc}, volume = {7}, number = {1}, year = {2007}, language = {ru}, url = {http://geodesic.mathdoc.fr/item/ISU_2007_7_1_a14/} }
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 -
%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
D. A. Bodrov; S. L. Kozhitov; V. N. Polyakov. The tasks of interactive processing of search queries in the set theory formalization. Izvestiya of Saratov University. Mathematics. Mechanics. Informatics, Tome 7 (2007) no. 1, pp. 78-82. http://geodesic.mathdoc.fr/item/ISU_2007_7_1_a14/