电脑体验，效果更佳

何自强图谱-航空航天领域：

研究领域

离散数学 谓词逻辑 逻辑系统 可靠性 量词

所属机构

北京航空航天大学计算机科学与工程系

标签云