中文版 | English
CSpace

分面浏览：Source Publication

当前检索式 ((ALL：高小山))
限定条件 无
共46条，第1-20条
journalofsystemsscie 10 JOURNAL OF SYMBOLIC 7 JOURNAL OF SYSTEMS S 7
计算机辅助设计与图形学学报 6 系统科学与数学 5 COMPUTER-AIDED DESIG 3
JOURNAL OF COMPUTER 3 ACTA MATHEMATICA SCI 2 AUTOMATED DEDUCTION 2
COMPUTER AIDED GEOME 2 Communications in Th 2 INTERNATIONAL JOURNA 2
ROBOTICA 2 SCIENCE CHINA-INFORM 2 THEORETICAL COMPUTER 2
计算机学报 2 软件学报 2 APPLICABLE ALGEBRA I 1
APPLIED MATHEMATICS 1 AUTOMATED DEDUCTION 1