退出
我的积分:
中文文献批量获取
外文文献批量获取
陈婕; 陈仪香;
中国系统工程学会;
Disjunctive命题理论; 抽象模型; 自由模型;
机译:抽象与本体:作为有记录类型理论中的命题摘要的问题
机译:为什么结构化命题的元组理论不是结构化命题的理论
机译:实证模型理论和紧凑抽象理论
机译:居民在不同抽象层次上的活动:一般理论框架的命题
机译:迈向三种违法理论的理论整合:命题链接,模型构建和经验估计
机译:语文教师的控制过程和主观幸福感:生命发展动机理论的关键命题的融合和分歧的证明
机译:抽象与本体论:带记录的类型理论中的命题摘要问题
机译:解释马丁 - 洛夫在一类自由命题理论中的类型理论
机译:确定内燃机驱动尺寸值的方法,涉及通过理论模型确定驱动尺寸,该理论模型说明了进气道中的主导条件。
机译:利用采集点创建表面数值模型的方法-通过找到实际模型的表面边界和边界上的几个点,使用采集系统和理论表面的数值表示,生成通过给定点的理论表面满足条件
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。