退出
我的积分:
中文文献批量获取
外文文献批量获取
钟武;
国防科技大学;
量词约束; 谓词演算; 复合对象; 数据库;
机译:借助谓词演算语言对对象进行多代理描述
机译:关于约束LTL中的冻结量词:可确定性和复杂性
机译:对象比较量词短语范围的实验研究
机译:基于两个方程约束的基于CAD的量词消除中的品种可描绘性
机译:在受约束和不受约束的环境中移动对象的邻近结构。
机译:原生对象和合作者:婴幼儿对象选择并让行为反映了原住民对外国演讲者青睐
机译:近似约束的一阶约束的收敛近似解 量词
机译:在广义量词理论,模态逻辑和知识表示中计算对象
机译:翻译词选择条件提取系统,翻译词选择条件提取方法和翻译词选择条件提取程序
机译:数据库系统的关系和面向对象视图中的可选量词
机译:面向对象的查询和数据库系统视图中的外部量词
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。