科研证明
文献服务
退出
我的积分:
中文文献批量获取
外文文献批量获取
冯进;
无;
数学概念; 形式化; 直观化; 思维;
机译:使用Mizar形式化数学语言系统开发CMS / Moodle数学练习模块。
机译:数字化数学:计算机化与形式化
机译:Quasispecies模型框架内不同群体的交叉个人进程的数学形式化
机译:形式化非正式,规定不精确:模糊逻辑如何通过形式化他们的直观思想来帮助数学家和物理学家
机译:精神分裂症男性儿童的概念思维:精神分裂症和非精神分裂症男孩的概念思维比较
机译:豚鼠对形式化和非形式化副Para虫抗原提取物的同质反应。
机译:正式化非正式,更确制不精确:模糊逻辑如何通过形式化直观的想法来帮助数学家和物理学家
机译:数学软件比较测试论纲 - 用解决非线性方程组的软件比较测试说明
机译:测量形式化设备,测量形式化方法和测量形式化程序
机译:业务形式化程序,业务形式化方法和业务形式化设备
机译:的方法至少两个含有氨基1、3、5-氨基三嗪的nh2基团的形式化醛缩合产物的生产
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。