退出
我的积分:
中文文献批量获取
外文文献批量获取
张安权;
四川省宜宾市教育科学研究所;
机译:在here-and-here逻辑中通过反模型进行答案集编程的等价性的通用框架
机译:嵌套多面体金属有机框架设计的混合分子构建策略
机译:在征集噪声下实现遗传拨动系统中逻辑门的转变
机译:基于逻辑的质疑答案系统的框架,用于医疗领域(Loqas-Med)
机译:框架构建策略在文本交流中的说服力:使用环境社会运动问题进行的实验研究。
机译:促进向以人口为基础的公共卫生计划的转变:通过使用框架和逻辑模型工具进行创新
机译:答案集编程中等价的一般框架 “在这里和那里的逻辑”中的对策
机译:基于统一代数和逻辑的安全路由实现框架。
机译:确定对业务交易产生的税收和会计问题的正确答案,并使用计算机化的谓词逻辑实现生成会计分录以记录这些交易
机译:通过设备在图形显示视频中实现框架下逻辑逻辑比较的装置
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。