电脑体验，效果更佳

时序逻辑图谱-自然科学领域：

研究人员

邬杨波 刘明业 罗文辉 王红卫 袁媛 张广泉 朱福喜 张海宾

相关术语

自动机 语义 定理证明 可计算性与判定性 并发模型 程序性质 统一逻辑框架 命题投影时序逻辑

标签云