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


 English version:
Mathematical Notes, 1978, 23:6, 493–501

Bibliographic databases:


© Steklov Math. Inst. of RAS, 2024