退出
我的积分:
中文文献批量获取
外文文献批量获取
欧阳明光; 王丽娟; 任新华; 汪为农;
上海交通大学,网络中心,上海,200030;
太原理工大学,信息工程学院,山西,太原,030024;
入侵特征; 入侵检测系统; 时段时态逻辑; ISITL;
机译:从线性时间到分支时间的时间逻辑:语义和可定义性的转移
机译:时间逻辑的线性,分支时间和联合闭合语义
机译:通过逻辑讲解问题和目标之间的语义关系↓通过逻辑讲解问题和目标之间的语义关系
机译:基于约束的时间逻辑抽象语义:设计和实现的直接方法
机译:德语时间语义:三维时态逻辑和GPSG片段。
机译:RET支持的逻辑门组合库可实现智能逻辑功能的建模和实现
机译:一天中各部分名称的反射中的定性语义特征的实现(在词素中的实现时间值的特征,与日期的名称相关联并在语义上相关联)
机译:用稳定模型语义实现逻辑程序的局部接地
机译:使用语义图扩展内容项的特征项并实现相关内容项的目标选择
机译:评估语义图像分割的时间特征的方法和装置
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。