共 50 条
- [31] Preface: Special Issue of Selected Extended Papers of IJCAR 2010 [J]. Journal of Automated Reasoning, 2011, 47 : 337 - 339
- [32] Preface: Special Issue of Selected Extended Papers of CADE 2019 [J]. Journal of Automated Reasoning, 2021, 65 : 891 - 892
- [35] Editorial for Special Issue on Selected Papers from IMAV 2021 [J]. UNMANNED SYSTEMS, 2022, 10 (04) : 327 - 328
- [40] Special Issue: Selected Papers from NUMDIFF-12 Preface [J]. APPLIED NUMERICAL MATHEMATICS, 2012, 62 (10) : 1257 - 1258