中文版 | English
CASIA OpenIR

分面浏览：Source Publication

当前检索式 ((ALL：Temporal Logic))
限定条件 无
共74条，第1-20条
IEEE/CAA Journal of 40 International Journa 20 自动化学报 8
IEEE TRANSACTIONS ON 7 Machine Intelligence 5 IEEE Transactions on 4
IEEE Transactions on 4 IEEE TRANSACTIONS ON 3 CEREBRAL CORTEX 2
IEEE TRANSACTIONS ON 2 IEEE TRANSACTIONS ON 2 IEEE TRANSACTIONS ON 2
IEEE TRANSACTIONS ON 2 INFORMATION SCIENCES 2 MULTIMEDIA SYSTEMS 2
NEUROCOMPUTING 2 Neurocomputing 2 Remote Sensing 2
ACM TRANSACTIONS ON 1 ACM Transactions on 1