电脑体验，效果更佳

合取范式图谱-自然科学领域：

研究人员

余丰人 黄文奇 闫炜 丘海明 赵孝武 陈慕昌 颜萍 吴尽昭

相关术语

可满足性 模糊函数 等价性验证 设计验证 势函数 逻辑电路 析取范式 合取项

标签云