退出
我的积分:
中文文献批量获取
外文文献批量获取
陈翊;
浙江省;
有效表达;
机译:情绪表达和情绪逻辑-基于情绪表达逻辑水平的日英句子模式对比-
机译:通过文本逻辑和Rulelog快速地编写基于文本的难以想象的高阶逻辑公式(受邀演讲摘要)
机译:基于约束的时间推理的有效和表达性扩展。
机译:重新想象研究:一个大胆的电话但足够大胆?评述加拿大大学研究人员合作卫生领导的经验:呼吁重新想象研究
机译:重新想象研究:一个大胆的电话,但足够大胆?评述加拿大大学研究人员合作卫生领导的经验:呼吁“重新想象”研究“
机译:处理器验证使用有效减少未解释函数的逻辑到命题逻辑
机译:(54)标题:一种扩展商务智能系统的形式和功能的基于内容的方法(57)摘要:商务智能(BI)系统具有通过以下方式将其功能扩展到项目生命周期之外的能力:具体内容。复杂的多维查询被解释为原子子表达式的树,这些原子子表达式组合成类似解析树的结构以形成整体查询。每个子树在提供适当的上下文时都是有效的。任何子树都可以是作为应用程序内容存储的表达模板,该表达模板在生成时使用带有实例特定参数的简单文本替换来生成多维表达语法。该系统包括一个复杂的类型系统和语义层,使用户摆脱了使用OLAP数据库所固有的复杂性。商业智能专家可以为每个作为内容的表达模板提供类型和语义提示。
机译:表达肿瘤抑制蛋白的基于阿尔法韦尔的表达载体,制备相同表达载体的方法及其用于同时表达各种肿瘤抑制蛋白的方法,从而有效地抑制肿瘤
机译:基于Hooji代数原理的多值非逻辑两阶段连接方法,基于Hooji代数原理的多值非逻辑,偶数逻辑两阶段连接方法,基于Hooji代数的多值双逻辑两步连接方法代数,基于Hooji代数原理的多值偶数逻辑和非逻辑两阶段连接方法,基于Hooji代数原理的多值逻辑补全电路,多值缓冲回路以及用于输入的折线
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。