|
|
|
Публикации в базе данных Math-Net.Ru |
Цитирования |
|
2011 |
| 1. |
С. Н. Васильев, Г. М. Пономарев, “Методы автоматизации логического вывода и их применение в управлении динамическими и интеллектуальными системами”, Тр. ИММ УрО РАН, 17:2 (2011), 35–52   ; S. N. Vassilyev, G. M. Ponomarev, “Automation methods for logical derivation and their application in the control of dynamic and intelligent systems”, Proc. Steklov Inst. Math., 276, suppl. 1 (2012), S161–S179   |
5
|
|
