自反传递闭包相关硕士博士期刊学术论文 - 搜论网

自反传递闭包相关论文

计算机辅助围棋系统

利用微机对围棋进行对局控制和棋谱综合处理，特别是手筋阶段“人－机”对奕方面的问题进行了研究。此外，还用数学手段严格定义了棋谱上......

期刊

知识表示数学手段等价关系谱综合树型结构训练阶段表结构自反传递闭包博奕存贮空间

非对称χ~≠-演算的互模拟格

非对称 χ ≠ 演算是一种移动计算模型通过研究该演算的互模拟格 ,能够增强理解非对称性和不等名算子对移动进程代数理论的影响 ......

期刊

互模拟非对称进程代数于集自反传递闭包计算模型语义系统操作模型动态行为证明论

看过本文同时还关注