|
Исследования по прикладной математике, 1984, выпуск 10, страницы 128–138
(Mi kuipm171)
|
|
|
|
Логическая система для получения правильных
обучающих программ
В. Ю. Михайлов
Образец цитирования:
В. Ю. Михайлов, “Логическая система для получения правильных
обучающих программ”, Исслед. по прикл. матем., 10, Изд-во Казанского ун-та, Казань, 1984, 128–138; J. Soviet Math., 44:5 (1989), 654–664
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/kuipm171 https://www.mathnet.ru/rus/kuipm/v10/p128
|
|