共 50 条
- [31] Spectral Method in the Theory of Mixed Type Equations PROCEEDINGS OF THE 44TH INTERNATIONAL CONFERENCE "APPLICATIONS OF MATHEMATICS IN ENGINEERING AND ECONOMICS", 2018, 2048
- [32] Theory and practice of the operating process in cone-type crushers Izvestiya Vysshikh Uchebnykh Zavedenii, Gornyi Zhurnal, 2002, (01): : 101 - 110
- [36] Hereditarily Finite Sets in Constructive Type Theory INTERACTIVE THEOREM PROVING (ITP 2016), 2016, 9807 : 374 - 390
- [39] ON A FINITE DEFORMATION OF A CONE ZEITSCHRIFT FUR ANGEWANDTE MATHEMATIK UND MECHANIK, 1989, 69 (02): : 67 - 71