CORC

浏览/检索结果: 共6条,第1-6条 帮助

限定条件                    
已选(0)清除 条数/页:   排序方式:
特殊Thue系统表现的幺半群的两个性质 期刊论文
数学学报, 1996, 卷号: 039, 期号: 005, 页码: 643
作者:  吴尽昭;  谭红艳
收藏  |  浏览/下载:3/0  |  提交时间:2020/01/10
onthealgebraicvarietydecomposition 期刊论文
systemsscienceandmathematicalscience, 1996, 卷号: 9, 期号: 2, 页码: 120
作者:  Wu Jinzhao
收藏  |  浏览/下载:2/0  |  提交时间:2020/01/10
quantitativepropertiesofgreenequivalencesonspecialmonoids 期刊论文
systemsscienceandmathematicalscience, 1996, 卷号: 9, 期号: 3, 页码: 198
作者:  Wu Jinzhao
收藏  |  浏览/下载:3/0  |  提交时间:2020/01/10
amethodformechanicalgeometrytheoremproving 期刊论文
systemsscienceandmathematicalscience, 1996, 卷号: 9, 期号: 4, 页码: 313
作者:  Tan Hongyan;  Wu Jinzhao
收藏  |  浏览/下载:10/0  |  提交时间:2020/01/10
使用广义奇超位ii的一阶定理证明 期刊论文
中国科学e辑技术科学, 1996, 卷号: 26, 期号: 5, 页码: 442
作者:  吴尽昭;  刘卓军
收藏  |  浏览/下载:3/0  |  提交时间:2020/01/10
一阶谓词演算定理机器胆的余式方法 期刊论文
计算机学报, 1996, 卷号: 19, 期号: 10, 页码: 728
作者:  刘卓军;  吴尽昭
收藏  |  浏览/下载:4/0  |  提交时间:2020/01/10


©版权所有 ©2017 CSpace - Powered by CSpace