|
|
Публикации в базе данных Math-Net.Ru |
Цитирования |
|
2002 |
1. |
Б. Ю. Конев, Т. Жебелеан, “Метод подъема решений для работы с метапеременными в системе TH$\exists$OREM$\forall$”, Зап. научн. сем. ПОМИ, 293 (2002), 94–117 ; B. Yu. Konev, T. Jebelean, “Solution lifting method for handling Meta-variables in the TH$\exists$OREM$\forall$ system”, J. Math. Sci. (N. Y.), 126:3 (2005), 1182–1194 |
5
|
|