共 50 条
- [33] COMPUTER-ASSISTED CARTOGRAPHY - PRINCIPLES AND PROSPECTS, 1982 - MONMONIER,MS PROFESSIONAL GEOGRAPHER, 1982, 34 (03): : 355 - 355
- [37] Computer-assisted proofs for some nonlinear diffusion problems COMMUNICATIONS IN NONLINEAR SCIENCE AND NUMERICAL SIMULATION, 2022, 109