|
|
Publications in Math-Net.Ru |
Citations |
|
2018 |
1. |
J. Vega Vice, V. Yu. Mikhailov, “On methods in the verification and elaboration of development programs for agricultural territories”, Model. Anal. Inform. Sist., 25:5 (2018), 481–490 |
|
1984 |
2. |
V. Yu. Mikhailov, P. V. Pshenichnyi, “Nonprocedural tools for analysis of answers in computer-aided instruction systems”, Issled. Prikl. Mat., 11:2 (1984), 51–60 ; J. Soviet Math., 42:1 (1988), 1480–1486 |
3. |
V. Yu. Mikhailov, “Logical system for generation of correct programs for computer-aided instruction”, Issled. Prikl. Mat., 10 (1984), 128–138 ; J. Soviet Math., 44:5 (1989), 654–664 |
|
Organisations |
|
|