李、丁;周连迪 圆角形式对附体连接流动影响的数值模拟。 （英语） Zbl 0852.76058号 J.水力学。，序列号。B类 6，第4期，60-73（1994年）.MSC公司：76M20码 76F10层 76N10型 PDF格式BibTeX公司 XML格式引用 \textit{D.Li}和\textit{L.Zhou}，J.Hydrodyn。，序列号。B 6，编号4，60--73（1994；Zbl 0852.76058）
Mints公司，G.E。 Gentzen型系统和Hilbertε替换方法。一、。 （英语） Zbl 0835.03023号 Prawitz，D.（ed.）等人，《科学的逻辑、方法论和哲学IX.第九届国际逻辑、方法学和科学哲学大会论文集》，瑞典乌普萨拉，1991年8月7日至14日。阿姆斯特丹：荷兰北部。发现螺柱逻辑。数学。13491-122（1994）中所述。 审核人：O.Sonobe（福洛妮卡） MSC公司：05年3月 30楼03号 PDF格式BibTeX公司 XML格式引用 \textit{G.E.Mints}，找到了研究逻辑。数学。134、91-122（1994；Zbl 0835.03023）