Open AccessThe Tasks of Interactive Processing of Search Queries in the Set Theory Formalization
Author(s) -
Д. А. Бодров,
С. Л. Кожитов,
V.N. Polykov
Publication year - 2007
Publication title -
izvestiâ saratovskogo universiteta. novaâ seriâ. seriâ matematika. mehanika. informatika
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.255
H-Index - 4
eISSN - 2541-9005
pISSN - 1816-9791
DOI - 10.18500/1816-9791-2007-7-1-78-82
Subject(s) - computer science , set (abstract data type) , theoretical computer science , information retrieval , human–computer interaction , programming language