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
Fulltext:
PDF file (536 kB)
Bibliographic databases:
©
Steklov Math. Inst. of RAS
, 2026
Fulltext:
PDF file (536 kB)