Vestnik Udmurtskogo universiteta. Matematika, mehanika, kompʹûternye nauki, no. 1 (2007), pp. 235-250
Citer cet article
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/
@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},
year = {2007},
number = {1},
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
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
%U http://geodesic.mathdoc.fr/item/VUU_2007_1_a16/
%G ru
%F VUU_2007_1_a16
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.
