RUS  ENG
Полная версия
ЖУРНАЛЫ // Исследования по прикладной математике и информатике // Архив
Исслед. по прикл. матем., 1984, выпуск 10, страницы 128–138 (Mi kuipm171)
Логическая система для получения правильных обучающих программ

В. Ю. Михайлов



 Англоязычная версия: Journal of Soviet Mathematics, 1989, 44:5, 654–664

© МИАН, 2024