电脑体验，效果更佳

高阶逻辑图谱-计算机领域：

研究人员

杨珺 韩俊刚 杨炳儒 许晟 霍红卫 唐志刚 李琳娜

相关术语

硬件设计 时态逻辑 归纳学习 一阶逻辑 知识发现 硬件验证 归纳逻辑程序设计 复杂结构 形式验证 形式化验证 硬件描述 基于图的概念学习 复杂结构数据

高阶逻辑-兴趣云标签

乔宪遐唐志刚郑蕉杨炳儒张化光