退出
我的积分:
中文文献批量获取
外文文献批量获取
周保华;
浙江宁波市慈湖中学,315031;
语文; 中学; 教学特色; 师生互动; 形式化;
机译:小组行为互动的形式化和验证
机译:形式化和互动:在近代欧洲探索全面的技术相关知识史
机译:特刊:互动定理证明和数学形式化客座编辑:Andrea Asperti和Jeremy Avigad
机译:用户作为理性的互动主体:形式化有关认知和互动的假设
机译:不要推,不要拉:爵士节奏部分的互动和音乐变化。
机译:不要驳回逻辑回归:机器学习时代的合理提取互动的情况
机译:'不要问,不要说,不要钱包',不要歧视。
机译:测量形式化设备,测量形式化方法和测量形式化程序
机译:业务形式化程序,业务形式化方法和业务形式化设备
机译:降低形式化水平并从部件面板中发布形式化方法的方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。