电脑体验，效果更佳

COQ图谱-自然科学领域：

研究人员

陈钢 顾明 宋晓宇

相关术语

PLC 定理证明 嵌入式系统 可编程序控制器

标签云