|
|
Публикации в базе данных Math-Net.Ru |
Цитирования |
|
2018 |
1. |
Х. Л. Вега Висе, В. Ю. Михайлов, “О методах верификации и разработки программ развития сельскохозяйственных территорий”, Модел. и анализ информ. систем, 25:5 (2018), 481–490 |
|
1984 |
2. |
В. Ю. Михайлов, П. В. Пшеничный, “Непроцедурные средства анализа ответов в АОС”, Исслед. по прикл. матем., 11:2 (1984), 51–60 ; V. Yu. Mikhailov, P. V. Pshenichnyi, “Nonprocedural tools for analysis of answers in computer-aided instruction systems”, J. Soviet Math., 42:1 (1988), 1480–1486 |
3. |
В. Ю. Михайлов, “Логическая система для получения правильных
обучающих программ”, Исслед. по прикл. матем., 10 (1984), 128–138 ; V. Yu. Mikhailov, “Logical system for generation of correct programs for computer-aided instruction”, J. Soviet Math., 44:5 (1989), 654–664 |
|