Application of a computer to the proof o
โ
A. V. Malyshev
๐
Article
๐
1982
๐
Springer US
๐
English
โ 648 KB