退出
我的积分:
中文文献批量获取
外文文献批量获取
谭捷;
邵阳市花鼓戏剧团;
机译:关于形式本体的计算实现:以Isabelle / HOL为例,对时空实例化本体进行形式化
机译:生产动物选择知识的系统。本体论,措施,监管形式:动物育种知识体系。本体论,计量学,规范形式
机译:$ S_ {4} left(Gamma _ {0} left(79right)right)$中的尖锐形式以及正整数的表示形式,它们由具有判别$ -79 $的二进制二次形式的某些直接和构成
机译:从与建筑整体形成的外部空间的构成形式与城市之间的关系的角度看广场的特征从与建筑整体形成的外部空间的构成形式与城市的关系的角度看广场的特征城市(2)
机译:实质性的行为和自发的养育馆:对Lonergan的“基督本体论和心理构成”的批评。
机译:甲基溴酰基-一种用于将本体DNA甲基化谱的解构成已知和未知细胞内容物的方法
机译:伦理学与人权的历史本体论构成伦理学与人权的历史本体论构成
机译:超空间超重力的BRs对称性及其对构成形式的预测
机译:将压力密封的空心体制成预定的介质,包括将两个本体部分连接起来,当组装时,该两个本体部分形成包含气态和/或液态形式的介质的空心体,或者通过密封形成空心体的单个本体而形成。
机译:使用价值显着性度量(VSMS),共现和本体论对象的出现频率确定本体论对象构成的上下文及其应用的方法
机译:到由被捆扎的印刷形式构成的中本的背部由在被当时捆扎的印刷形式构成的中本
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。