Issledovaniya po Prikladnoi Matematike i Informatike, Issledovaniya po Prikladnoi Matematike, Tome 10 (1984) no. 10, pp. 128-138
Citer cet article
V. Yu. Mikhailov. Logical system for generation of correct programs for computer-aided instruction. Issledovaniya po Prikladnoi Matematike i Informatike, Issledovaniya po Prikladnoi Matematike, Tome 10 (1984) no. 10, pp. 128-138. http://geodesic.mathdoc.fr/item/KUIPM_1984_10_10_a14/
@article{KUIPM_1984_10_10_a14,
author = {V. Yu. Mikhailov},
title = {Logical system for generation of correct programs for computer-aided instruction},
journal = {Issledovaniya po Prikladnoi Matematike i Informatike},
pages = {128--138},
year = {1984},
volume = {10},
number = {10},
language = {ru},
url = {http://geodesic.mathdoc.fr/item/KUIPM_1984_10_10_a14/}
}
TY - JOUR
AU - V. Yu. Mikhailov
TI - Logical system for generation of correct programs for computer-aided instruction
JO - Issledovaniya po Prikladnoi Matematike i Informatike
PY - 1984
SP - 128
EP - 138
VL - 10
IS - 10
UR - http://geodesic.mathdoc.fr/item/KUIPM_1984_10_10_a14/
LA - ru
ID - KUIPM_1984_10_10_a14
ER -
%0 Journal Article
%A V. Yu. Mikhailov
%T Logical system for generation of correct programs for computer-aided instruction
%J Issledovaniya po Prikladnoi Matematike i Informatike
%D 1984
%P 128-138
%V 10
%N 10
%U http://geodesic.mathdoc.fr/item/KUIPM_1984_10_10_a14/
%G ru
%F KUIPM_1984_10_10_a14
