RUS  ENG
Full version
JOURNALS // Doklady Akademii Nauk // Archive

Dokl. Akad. Nauk SSSR, 1981 Volume 259, Number 3, Pages 521–523 (Mi dan44617)

MATHEMATICS

Remark on the method of intermediate assertions

S. A. Abramov

Computing Centre, USSR Academy of Sciences, Moscow

UDC: 519.681

Presented: A. A. Dorodnitsyn
Received: 18.02.1981



Bibliographic databases:


© Steklov Math. Inst. of RAS, 2026