This article is cited in 1 paper

MATHEMATICS

On a formalization of extremal problems

V. D. Batukhtin, L. A. Mayboroda

Institute of Mathematics and Mechanics, Ural Branch of the AS of USSR, Sverdlovsk

UDC: 519.31

Presented: N. N. Krasovskii
Received: 19.06.1979

Bibliographic databases:

• 
•