JOURNAL ARTICLE
自动发现不等式型定理的一个完备算法
Year: 2001 Journal: Science in China Series E-Technological Sciences (in Chinese)
Keywords:
Chemistry
Metrics
0
Cited By
0.00
FWCI (Field Weighted Citation Impact)
0
Refs
Citation Normalized Percentile
Is in top 1%
Is in top 10%
Topics
Related Documents
JOURNAL ARTICLE
一阶时态逻辑(带等词)的一个完备性定理
Journal: Science in China Series A-Mathematics Physics Astronomy & Technological Science (in Chinese) Year: 1985 Vol: 15 (1)Pages: 59-66
JOURNAL ARTICLE
半亚正常算子的一个不等式
Journal: Chinese Science Bulletin (Chinese Version) Year: 1983 Vol: 28 (1)Pages: 8-11
JOURNAL ARTICLE
减算子的一个不动点定理及其应用
Journal: Chinese Science Bulletin (Chinese Version) Year: 1984 Vol: 29 (3)Pages: 189-189
JOURNAL ARTICLE
一个求强连通自动机的自同构群的多项式算法
Journal: Chinese Science Bulletin (Chinese Version) Year: 1986 Vol: 31 (2)Pages: 89-91