共 50 条
- [22] Interactive Theorem ProvingPreface of the Special Issue [J]. Journal of Automated Reasoning, 2016, 56 : 201 - 203
- [25] Special Issue on Age of Information [J]. JOURNAL OF COMMUNICATIONS AND NETWORKS, 2019, 21 (03) : 201 - 203
- [26] Special issue on information technology [J]. JOURNAL OF NETWORK AND COMPUTER APPLICATIONS, 2007, 30 (04) : 1273 - 1274
- [30] Special Issue on Interactive Robots and Sensor Systems [J]. International Journal of Social Robotics, 2012, 4 : 1 - 3