RUS  ENG
Full version
JOURNALS // Issledovaniya po Prikladnoi Matematike i Informatike // Archive
Issled. Prikl. Mat., 1984 Issue 10, Pages 128–138 (Mi kuipm171)
Logical system for generation of correct programs for computer-aided instruction

V. Yu. Mikhailov



 English version: Journal of Soviet Mathematics, 1989, 44:5, 654–664

© Steklov Math. Inst. of RAS, 2024