梅里,多米尼克 在正义假设下推导偶然性性质的证明系统。 (英文) Zbl 0617.68034号 计算机科学数学基础。第十二交响曲。,布拉迪斯拉发/捷克。1986年,勒克特。注释计算。科学。233, 536-544 (1986).MSC公司:第68季度第65季度 03B70号 第68页第25页 68号01 PDF格式BibTeX公司 XML格式
G·帕拉丁。;佩利蒂,L。;A.乌尔皮亚尼。 间歇性是历史空间中的多重分形。 (英文) Zbl 0616.58031号 《物理学杂志》。A类 19,L991-L996(1986).MSC公司:37D45号 第37页第99页 PDF格式BibTeX公司 XML格式引用 \文本{G.Paladin}等人,J.Phys。A、 数学。第19代,L991--L996(1986;Zbl 0616.58031) 全文: 内政部
艾默生·E·艾伦;Lei、Chin-Laung 广义公平约束下的时间推理。 (英文) Zbl 0614.03023号 计算机科学的理论方面,第三年。交响乐团。,奥赛/法国1986年,Lect。注释计算。科学。210, 21-36 (1986). 审核人:G.福布斯 MSC公司:03B70号 03B45号 PDF格式BibTeX公司 XML格式
彼得·平斯基(Peter M.Pinsky)。;Kim,Kyun O。 非线性弹粘弹性层状壳体的多因子公式。 (英文) Zbl 0604.73083号 计算。结构。 24, 901-913 (1986).MSC公司:74S05号 74K15型 74E30型 PDF格式BibTeX公司 XML格式引用 \textit{P.M.Pinsky}和\textit{K.O.Kim},计算。结构。24、901--913(1986年;Zbl 0604.73083) 全文: 内政部
尼西姆·弗朗西兹 公平。 (英文) Zbl 0602.68007号 计算机科学的文本和专著。纽约等:施普林格出版社。十三、 295 p.DM 98.00(1986年)。 审核人:L.布里姆 MSC公司:68-02 60年第68季度 第68页第25页 第68季度第65季度 PDF格式BibTeX公司 XML格式
彼得·平斯基(Peter M.Pinsky)。;Kim,Kyun O。 弹性-粘弹性层状壳体的多因子公式。 (英文) Zbl 0599.73065号 国际期刊数字。方法工程。 23, 2213-2244 (1986).MSC公司:74S05号 74K15型 74B20型 74K25型 74小时99 74E30型 PDF格式BibTeX公司 XML格式引用 \textit{P.M.Pinsky}和\textit{K.O.Kim},国际数学家。方法工程23,2213--2244(1986;Zbl 0599.73065) 全文: 内政部
Krzysztof R.阿普特。 更正了分布式终止算法的证明。 (英文) Zbl 0599.68017号 ACM事务处理。程序。语言系统。 8, 388-405 (1986).MSC公司:60年第68季度 第68页第25页 PDF格式BibTeX公司 XML格式引用 \textit{K.R.Apt},ACM事务。程序。语言系统。8388--405(1986年;Zbl 0599.68017) 全文: 内政部 链接
铃木,I。;Y.Motohashi。;谷口,K。;Kasami,T。;冈本,T。 使用\(\omega \)扩展正则表达式对分散菊花链仲裁器进行规范和验证。 (英文) 兹比尔0597.68049 西奥。计算。科学。 43, 277-291 (1986).MSC公司:65年第68季度 94立方厘米 第68页第25页 PDF格式BibTeX公司 XML格式引用 \textit{I.铃木}等人,Theor。计算。科学。43、277--291(1986年;Zbl 0597.68049) 全文: 内政部