科研证明
文献服务
退出
我的积分:
中文文献批量获取
外文文献批量获取
曹志栋;
兰州市第五十八中,甘肃兰州730060;
形式化; 非形式化; 转化;
机译:使用Mizar形式化数学语言系统开发CMS / Moodle数学练习模块。
机译:值得谁的工作?关于巴西的岌岌可危的工作形式化/体面的工作为谁?关于巴西不稳定工作的形式化
机译:软件密集型系统需求建模的形式化和半形式化语言和技术的系统识别
机译:形式化非正式,规定不精确:模糊逻辑如何通过形式化他们的直观思想来帮助数学家和物理学家
机译:超越财产:哥伦比亚农村财产的形式化和制图国=超过房地产:哥伦比亚和制图国家的农村财产形式化
机译:豚鼠对形式化和非形式化副Para虫抗原提取物的同质反应。
机译:自然经济;数学形式化和生态经济学/自然经济,数学形式化和生态经济学
机译:利用形式化和半形式化软件建模方法开发目标识别系统
机译:测量形式化设备,测量形式化方法和测量形式化程序
机译:业务形式化程序,业务形式化方法和业务形式化设备
机译:降低形式化水平并从部件面板中发布形式化方法的方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。