科研证明
文献服务
退出
我的积分:
中文文献批量获取
外文文献批量获取
谭剑; 沈磊; 杨崇俊; 仲照明; 马潮技; 梁丽; 赵勇;
遥感信息科学国家重点实验室,中科院遥感应用研究所,北京,100101;
公安部边防管理局,北京,100741;
应急指挥系统; 理论原则; 谓词逻辑; 设计方法;
机译:基于GIS的海滨城市地震海啸应急指挥系统
机译:有理Pavelka谓词逻辑是Lukasiewicz谓词逻辑的保守扩展
机译:综合交通枢纽应急指挥系统合作调度与设计研究
机译:预测谓词逻辑推理问题的难度:谓词逻辑模型的实证检验
机译:通过将谓词逻辑应用于生物医学文献来预测蛋白质功能
机译:基于J2EE的应急指挥系统的设计与实现
机译:用动态谓词逻辑编程。信息系统
机译:用于汽车设计研究的车轮悬架,具有用于与设计研究的子结构连接的底板和用于与汽车轮胎的轮辋连接的轮接收器
机译:谓词逻辑公式创建系统,会计日记帐规则创建设备,会计日记帐设备,谓词逻辑公式创建程序,会计规则创建程序以及会计日记帐程序
机译:基于谓词逻辑的图像语法,用于复杂的视觉模式识别
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。