RUS
ENG
Full version
JOURNALS
// Vestnik Udmurtskogo Universiteta. Matematika. Mekhanika. Komp'yuternye Nauki
// Archive
Vestn. Udmurtsk. Univ. Mat.,
2007
Issue 1,
Pages
235–250
(Mi vuu275)
COMPUTER SCIENCE
The consistency and the completeness of the constructive theory which contains resources
N. A. Vershinina
Udmurt State University, Izhevsk
Abstract:
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.
UDC:
519.8(045)
Received:
01.11.2006
Fulltext:
PDF file (499 kB)
©
Steklov Math. Inst. of RAS
, 2024
Fulltext:
PDF file (499 kB)