退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:绘制逻辑程序和默认理论中的理论结构图
Dimopoulos Yannis; Torres Alberto;
机译:排序默认理论和非单调逻辑程序
机译:算法,自动机,复杂性和游戏/逻辑,语法和ictcs编程的理论2016年(意大利理论计算机科学会议(ICTC))
机译:用于图结构并发编程的线性逻辑编程语言
机译:具有默认值和自变量理论的逻辑编程
机译:用于概率模型构建的条件概率逻辑编程,并应用于决策理论规划。
机译:将细菌基因发现HMM结构评估为概率逻辑程序
机译:逻辑程序和默认理论中的图形理论结构
机译:诊断的图论理论方法:逻辑规划和割集理论在反应堆和电路分析方面的应用
机译:具体的安全壳结构违约风险识别方法,例如放射性废物,涉及确定填充阶段的结构理论和实际行为,并通过比较行为确定结构风险
机译:具有逻辑高输出默认模式的可编程弱写测试模式(PWWTM)偏置产生
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。