The consistency and the completeness of the constructive theory which contains resources
Vestnik Udmurtskogo universiteta. Matematika, mehanika, kompʹûternye nauki, no. 1 (2007), pp. 235-250
Voir la notice de l'article provenant de la source Math-Net.Ru
The paper is devoted to the planning system activities. A logical method of the data domain formal description is proposed. The consistency and the completeness of the constructive theory with resources were proved.
@article{VUU_2007_1_a16,
author = {N. A. Vershinina},
title = {The consistency and the completeness of the constructive theory which contains resources},
journal = {Vestnik Udmurtskogo universiteta. Matematika, mehanika, kompʹ\^uternye nauki},
pages = {235--250},
publisher = {mathdoc},
number = {1},
year = {2007},
language = {ru},
url = {http://geodesic.mathdoc.fr/item/VUU_2007_1_a16/}
}
TY - JOUR AU - N. A. Vershinina TI - The consistency and the completeness of the constructive theory which contains resources JO - Vestnik Udmurtskogo universiteta. Matematika, mehanika, kompʹûternye nauki PY - 2007 SP - 235 EP - 250 IS - 1 PB - mathdoc UR - http://geodesic.mathdoc.fr/item/VUU_2007_1_a16/ LA - ru ID - VUU_2007_1_a16 ER -
%0 Journal Article %A N. A. Vershinina %T The consistency and the completeness of the constructive theory which contains resources %J Vestnik Udmurtskogo universiteta. Matematika, mehanika, kompʹûternye nauki %D 2007 %P 235-250 %N 1 %I mathdoc %U http://geodesic.mathdoc.fr/item/VUU_2007_1_a16/ %G ru %F VUU_2007_1_a16
N. A. Vershinina. The consistency and the completeness of the constructive theory which contains resources. Vestnik Udmurtskogo universiteta. Matematika, mehanika, kompʹûternye nauki, no. 1 (2007), pp. 235-250. http://geodesic.mathdoc.fr/item/VUU_2007_1_a16/