退出
我的积分:
中文文献批量获取
外文文献批量获取
张剑妹; 陶世群; 梁吉业; 曹峰;
长治学院计算机系,山西,长治,046011;
山西大学计算机与信息技术学院,太原,030006;
XML结构完整性约束; 逻辑蕴涵; 一致性; 推理规则; 路径蕴涵闭包;
机译:基于XML到关系映射的XML约束推理
机译:XML的结构完整性约束的逻辑含义
机译:纳米Ce 1-x sub> bi x sub> o 2-δ sub>用于催化应用的固体溶液
机译:XML签名中的XML数据结构完整性研究
机译:分布式约束推理框架在客户驱动微电网控制管理中的应用
机译:XML-BSPM:一种用于存储身体表面电位图记录的XML格式
机译:σ和 ˚F MML:MI> 0 MML:MN> MML:MSUB> ( MML:MO> 980 MML:MN> ) MML:MO> MML:数学>从 γ MML:MI> γ MML:MI> → MML:MO> π MML:MI> π MML:MI> MML:数学>, Ĵ MML:MI> / MML:MO> ψ MML:MI> , MML:MO> φ MML:MI> MML :数学>辐射和 d MML:MI> 取值 MML:MI> MML:MSUB> MML:数学>半轻子衰变
机译:分布式约束推理的空间应用
机译:约束推理处理方法和约束推理设备
机译:XML文档分析方法,XML文档检索方法,XML文档分析程序,XML文档检索程序和XML文档检索设备
机译:基于智能优化和约束推理的单卫星自主任务计划方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。