收藏本站
名称:贵州制约逻辑学会
省份:贵州省

逻辑学及其应用研究——第四届全国逻辑系统、智能科学与信息科学学术会议论文集

会议论文
逻辑代数的集合图方法的注记 陈勇明;谢海英;
Generation of superpositions of arbitrary multi atom Dicke states entanglement via adiabatic passage
前言
基于哲学本体论的真值演算系统——实现计算机理解自然语言的逻辑方法 万继华;
内涵逻辑的对象理论建构 聂文龙;
命题逻辑的文氏图方法 陈勇明;王璐;
论思维语言假说 宋荣;高新民;
模糊逻辑对地产商土地选址KPI因素的分析 李成杰;
系统认知观探索 张晓锐;李敏勇;刘忠;张萌;
OWL-S服务的Petri网自动建模方法研究 王夙娟;马炳先;曲守宁;
某新型指控系统效能综合评估的模糊理想点法 张永久;成跃;李立军;陶灵娟;
不精确数据的相似度计算 吴志雄;
对称矩阵非齐次特征值的敏感性分析 王丽娟;谷根代;
交错时序认知逻辑在安全协议中的应用 冯荷飞;曹子宁;
一种改进的含离线可信第三方多方不可否认协议 王远敏;汪学明;
谓词逻辑中有关函数及其部分性质的形式描述 陈其楼;潘正华;
基于训练序列的OFDM同步算法的改进 肖俊;毕光国;张在琛;
基于IEEE802.15.4a标准的超宽带RAKE接收机性能研究 吕云;张在琛;毕光国;
IP网络中智能网呼叫模型支持多媒体服务的研究 雷鸣;汪学明;
命名实体识别与提取分析 董俊林;聂伟;杨君英;张春炉;
页码:
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62791813
  • 010-62985026