逻辑论文

2024-04-02模型论视角下对正规多元模态逻辑的阐述（英文）

2024-04-02中国的现代方法论困境——对中国20世纪30年代形式逻辑批判的哲学思考

2024-04-01认知科学背景下逻辑学的发展研究

2024-04-01面向线路时延的可逆逻辑设计及其应用研究

2024-03-31我们失去认知家园了吗?——论认知透明性与误差余地原则

2024-03-31格蕴涵代数及其与相关逻辑代数的关系研究

2024-03-30一种基于多FPGA的逻辑划分方法的研究与实现

2024-03-30基于脚本编译技术实现下一代网络中业务的鉴权、认证与计费逻辑

2024-03-30实时系统规范语言STeC的Maude语义模型和静态分析设计及其工具实现

2024-03-30“互联网+”背景下的数学建模课程教学改革探讨

2024-03-30组织场域、制度逻辑与生存策略——中国体育社会组织权力关系探究

2024-03-30模糊描述逻辑F-SHIQ公理体系及其推理机制的研究

2024-03-30梯形图转VHDL逻辑表达式研究

2024-03-24先秦逻辑中“历物十事”的论题研究

2024-03-24驰名商标异化的制度逻辑

2024-03-24记者招待会汉英口译中语言逻辑再现

2024-03-24对于弗雷格“第三域”的思考——兼与陈波、王路教授商榷

2024-03-24家庭农场的发展逻辑——基于山东省宁津县的案例研究

2024-03-24从对立统一看关于专名的摹状词理论与历史因果理论

2024-03-23不规则形体建筑表皮的结构逻辑和材料构造逻辑研究

2024-03-23直觉模糊逻辑的（α，β）-线性归结方法研究

2024-03-23工业循环硫化床锅炉DCS程序逻辑控制的研究

2024-03-23量子细胞自动机（QCA）逻辑电路设计

2024-03-22基于模糊逻辑的彩色图像对等组矢量滤波算法研究

2024-03-22基于布尔逻辑驱动的马尔可夫过程法在配电系统可靠性评估中的应用

2024-03-21社会转型中公共政策信用构建的行政逻辑

2024-03-21试论罗素和弗雷格在真语句指称问题上的分歧——从3个弹弓论证谈起

2024-03-21要素拼贴—多米尼克修道院空间建构逻辑分析

2024-03-21基于BAN逻辑的接入认证协议研究与优化

2024-03-20主导产业打造中的地方政府行动逻辑——豫北县个案研究