退出
我的积分:
中文文献批量获取
外文文献批量获取
李屾; 常亮; 孟瑜; 李凤英;
桂林电子科技大学广西可信软件重点实验室 桂林541004;
时态描述逻辑; 分支时态逻辑; 可满足性问题; Tableau算法; 复杂度;
机译:关于具有数据变量量化的时态逻辑:可判定性和复杂性
机译:具有一般概念的模糊描述逻辑中可判定性的极限
机译:关于?ukasiewicz t-范数下模糊描述逻辑的(不可)判定性
机译:词方程的可满足性:可判定和不可判定的理论
机译:超越时间:赞比亚的班图语语“托特拉”的时态和时态标记和时态标记功能。
机译:研究风险的人患有精神疾病:判定的框架以满足伦理挑战
机译:一阶分支时态逻辑的可判定和不可判定的碎片
机译:时态数据,时态数据模型,时态数据语言和时态数据库系统
机译:有效性判定用磁性粉末,有效性判定用磁性粉末的制造方法,有效性判定用磁性墨水,有效性判定用印刷部件,有效性判定用印刷部件的检测装置以及有效性判定装置
机译:制备时态和时态活性活性生物降解剂的方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。