布莱恩·托德。;理查德·斯坦普 一种正式的解释模型。 (英语) Zbl 0835.68079号 正式Asp。计算。 7,第2期,207-225(1995)。MSC公司:60年第68季度 第68页第35页 PDF格式BibTeX公司 XML格式引用 \textit{B.S.Todd}和\textit{R.Stamper},正式Asp。计算。7,第2号,207--225(1995;Zbl 0835.68079) 全文: 内政部
苏尼尔·瓦德拉 壁画中的类比证明。 (英语) 兹比尔083568106 正式Asp。计算。 7,第2期,183-206(1995)。MSC公司:68吨15 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Vadera},正式Asp。计算。7,第2号,183--206(1995;Zbl 0835.68106) 全文: 内政部
我·雷维茨基。;布林克,C。 将变压器作为电源操作。 (英语) Zbl 0835.68075号 正式Asp。计算。 7,第2期,169-182(1995)。MSC公司:68问题55 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{I.Rewitzky}和\textit{C.Brink},正式Asp。计算。7,第2号,169--182(1995;Zbl 0835.68075) 全文: 内政部
斯皮维,J.M。 统一:数据细化的案例研究。 (英语) 兹比尔083568078 正式Asp。计算。 7,第2期,150-168(1995)。MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.M.Spivey},正式Asp。计算。7,第2号,150--168(1995;Zbl 0835.68078) 全文: 内政部
直纪小林;Akinori Yonezawa 基于线性逻辑的异步通信模型。 (英语) Zbl 0835.68016号 正式Asp。计算。 7,第2期,113-149(1995)。MSC公司:68N17号 第68季度10 68问题55 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{N.Kobayashi}和\textit{A.Yonezawa},正式Asp。计算。7,编号2113-149(1995年;Zbl 0835.68016) 全文: 内政部