Воробьев, Н.Н. мл.. "Распознавание совместности системы полиномиальных от экспоненты неравенств в субэкспоненциальное время." Zapiski naucnych seminarov Leningradskogo 176 (1989): 3-52. <http://eudml.org/doc/68043>.
@article{Воробьев1989, author = {Воробьев, Н.Н. мл.}, journal = {Zapiski naucnych seminarov Leningradskogo}, keywords = {recognition of consistency; subexponential-time algorithms; systems of polynomial inequalities; first order theory of reals with exponentiation}, language = {rus}, pages = {3-52}, publisher = {Nauka}, title = {Распознавание совместности системы полиномиальных от экспоненты неравенств в субэкспоненциальное время}, url = {http://eudml.org/doc/68043}, volume = {176}, year = {1989}, }
TY - JOUR AU - Воробьев, Н.Н. мл. TI - Распознавание совместности системы полиномиальных от экспоненты неравенств в субэкспоненциальное время JO - Zapiski naucnych seminarov Leningradskogo PY - 1989 PB - Nauka VL - 176 SP - 3 EP - 52 LA - rus KW - recognition of consistency; subexponential-time algorithms; systems of polynomial inequalities; first order theory of reals with exponentiation UR - http://eudml.org/doc/68043 ER -