逻辑刻画相关硕士博士期刊学术论文 - 搜论网

逻辑刻画相关论文

高阶进程演算的互模拟理论和公理化的研究

高阶进程演算,因为其很强的抽象能力和理论上的重要性,在进程演算领域一直得到广泛的关注,并成为描述和分析具有动态变换特性的内......

学位

互模拟公理化编码逻辑刻画 π演算 CCS 高阶进程演算

逻辑刻画:研究“理解”的新视角

对理解的哲学研究大多是纯粹的哲学思辨，很难体现理解所具有的客观性，不过也有哲学家把“理解”直觉上等同于“知道A的意义”，或把理......

期刊

知道理解逻辑刻画

看过本文同时还关注