中文版 | English

在结果中检索

IMECH-IR

浏览/检索结果: 共3条，第1-3条 帮助

已选(0)清除 条数/页：   排序方式：
数学机械化问题中的向量加工 期刊论文
计算机学报, 1982, 卷号: 5, 期号: 3, 页码: 222-225
作者:  刘尊全;  秦朝斌
Adobe PDF(126Kb)  |  收藏  |  浏览/下载：496/149  |  提交时间：2009/08/03
数学机械化  多项式算法  微分方程组  机械化算法  人工智能  公式推导  程序系统  数学问题  机器定理证明  
微分方程公式的机器推导(Ⅱ) 期刊论文
科学通报, 1981, 卷号: 26, 期号: 5, 页码: 257-258
作者:  刘尊全;  秦朝斌
Adobe PDF(101Kb)  |  收藏  |  浏览/下载：456/192  |  提交时间：2009/08/03
微分方程  文献  条件  H型  中国科学院  数学机械化  教授  
关于水輪的一些問題——答黃明忠同志 期刊论文
力学学报, 1960, 卷号: 4, 期号: 3, 页码: 230-232
作者:  刘世宁;  張厚玫
Adobe PDF(231Kb)  |  收藏  |  浏览/下载：403/143  |  提交时间：2009/08/03
农村水电站  改进办法  力学研究所  中国科学院  我国农村  改进措施  机械化  主要观点  广大农民