中文版 | English
CSpace

分面浏览：出处

当前检索式 ((ALL：Integer matrix))
限定条件 ((专题：自动推理与认知研究中心))
共13条，第1-13条
2014 Symposium on Sy 2 12th International C 1 13th International C 1
17th International C 1 17th International W 1 43rd ACM Internation 1
FOUNDATIONS OF COMPU 1 Journal of Computati 1 Journal of Systems S 1
MATHEMATICS OF COMPU 1 SCIENCE CHINA-MATHEM 1 THEORETICAL COMPUTER 1
四川大学学报. 工程科学版 1