退出
我的积分:
中文文献批量获取
外文文献批量获取
王海英; 黄实;
北华大学图书馆;
吉林;
132013;
分类法; 检索语言; 文献标引;
机译:断言和扎根:建设性类型论的断言理论
机译:带有断言断言的可能的描述逻辑本体不一致的推理
机译:绑定环境的SAML断言:一种增强SAML断言安全性的新方法
机译:对审计师的断言级别内在风险评估进行的实证检验:关于断言的一致性的解释测试。
机译:用于临床断言状态分类的MITER系统
机译:断言和断言的内容以及断言和断言的沟通方式对关系消息的感知,吸引力和沟通满意度的影响
机译:aNsI / NIsT-ITL 1-2011要求和一致性测试断言
机译:在基于断言的逻辑设计验证中处理断言的方法和装置
机译:在产生断言的断言自动程序生成装置中
机译:在基于断言的逻辑设计验证中处理断言的方法和设备
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。