Geodesic
Dialog in task specification languages
Sibirskij žurnal industrialʹnoj matematiki, Tome 5 (2002) no. 3, pp. 139-145.

Voir la notice de l'article provenant de la source Math-Net.Ru

@article{SJIM_2002_5_3_a13,
     author = {A. A. Moskvitin},
     title = {Dialog in task specification languages},
     journal = {Sibirskij \v{z}urnal industrialʹnoj matematiki},
     pages = {139--145},
     publisher = {mathdoc},
     volume = {5},
     number = {3},
     year = {2002},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/SJIM_2002_5_3_a13/}
}
TY  - JOUR
AU  - A. A. Moskvitin
TI  - Dialog in task specification languages
JO  - Sibirskij žurnal industrialʹnoj matematiki
PY  - 2002
SP  - 139
EP  - 145
VL  - 5
IS  - 3
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/SJIM_2002_5_3_a13/
LA  - ru
ID  - SJIM_2002_5_3_a13
ER  - 
%0 Journal Article
%A A. A. Moskvitin
%T Dialog in task specification languages
%J Sibirskij žurnal industrialʹnoj matematiki
%D 2002
%P 139-145
%V 5
%N 3
%I mathdoc
%U http://geodesic.mathdoc.fr/item/SJIM_2002_5_3_a13/
%G ru
%F SJIM_2002_5_3_a13
A. A. Moskvitin. Dialog in task specification languages. Sibirskij žurnal industrialʹnoj matematiki, Tome 5 (2002) no. 3, pp. 139-145. http://geodesic.mathdoc.fr/item/SJIM_2002_5_3_a13/

[1] Moskvitin A. A., “Yazyki spetsifikatsii zadach, orientirovannye na polzovatelya”, Sib. zhurn. industr. matematiki, 5:2(10) (2002), 148–159 | MR | Zbl

[2] Moskvitin A. A., “Izmerenie intellektualnykh resursov polzovatelei v yazykakh spetsifikatsii zadach”, Vychislitelnye tekhnologii, 7:4 (2002), 72–84 | MR

[3] Moskvitin A. A., “Arkhitektura programmnoi sistemy dlya realizatsii yazykov spetsifikatsii zadach”, Modeli kognitivnykh protsessov, Vychislitelnye sistemy, 164, 1998, 69–77 | Zbl

[4] Moskvitin A. A., Timofeeva M. K., “Otsenka dliny ubeditelnogo dokazatelstva dlya realnogo polzovatelya”, Modeli kognitivnykh protsessov, Vychislitelnye sistemy, 169, 2001, 3–19 | MR

[5] Klini S., Matematicheskaya logika, Mir, M., 1973 | MR