![]() | ![]() |
1997 | ||
---|---|---|
2 | EE | S. A. Butyrin, V. P. Makarov, R. R. Mukumov, Ye. Somov, S. N. Vassilyev: An expert system for design of spacecraft attitude control systems. AI in Engineering 11(1): 49-59 (1997) |
1990 | ||
1 | S. N. Vassilyev: Machine Synthesis of Mathematical Theorems. J. Log. Program. 9(2&3): 235-266 (1990) |
1 | S. A. Butyrin | [2] |
2 | V. P. Makarov | [2] |
3 | R. R. Mukumov | [2] |
4 | Ye. Somov | [2] |