RUS
ENG
Full version
JOURNALS
// Matematicheskie Zametki
// Archive
Mat. Zametki,
1978
Volume 23,
Issue 6,
Pages
899–914
(Mi mzm8192)
Reports read at the Annual Meeting of the Mathematics Section of the Academy of Sciences of the USSR
Principles of construction of justification of algorithms for the solution of badly formalized problems
Yu. I. Zhuravlev
Computing Centre, USSR Academy of Sciences
UDC:
519.9
Received:
16.05.1977
Fulltext:
PDF file (1237 kB)
English version:
Mathematical Notes, 1978,
23
:6,
493–501
Bibliographic databases:
©
Steklov Math. Inst. of RAS
, 2024