Geodesic
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 Cet article a éte moissonné depuis la source Math-Net.Ru

Voir la notice du chapitre de livre

@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
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/