| |
| 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] |