马克·瓦格纳;谢尔盖·奥特西尔;克里斯托夫·本兹穆勒 小块地{\(\Omega\)}:文本编辑器和证据辅助系统之间的中介。 (英语) 兹比尔1278.68284 Autexier,Serge(编辑)等人,第七届定理证明器用户界面研讨会论文集(UITP 2006),西雅图,华盛顿州,美国,2006年8月21日。阿姆斯特丹:爱思唯尔。《理论计算机科学电子笔记》174,第2期,87-107(2007)。MSC公司:第68页第15页 68立方英尺 68单位15 PDF格式BibTeX公司 XML格式引用 \textit{M.Wagner}等人,《电子》。理论注释。计算。科学。174,第2号,87-107(2007年;兹bl 1278.68284) 全文: 内政部
克雷格·芬塞斯。 文本编辑的技巧。Emacs面向现代世界。 (英语) Zbl 0810.68012号 柏林等:Springer-Verlag。十二、 第220页(1991年)。MSC公司:68-01 68单位15 PDF格式BibTeX公司 XML格式引用 \textit{C.A.Finseth},文本编辑的技巧。Emacs面向现代世界。柏林等:Springer-Verlag(1991;Zbl 0810.68012)
尤维夫,C.S。 文本空间。 (英语) Zbl 0685.68064号 C.R.学院。膨胀。科学。 42,第4期,23-26(1989).MSC公司:第68季度第45季度 68N99型 第68季度第65季度 PDF格式BibTeX公司 XML格式引用 \textit{C.S.Yovev},C.R.学院。膨胀。科学。42,No.4,23--26(1989;Zbl 0685.68064)
戴夫·尼尔森 Z规范的层次细化。 (英语) Zbl 0631.68021号 软件技术和理论计算机科学基础。第七届会议,普纳/印度,1987年,Lect。注释计算。科学。287, 376-399 (1987).MSC公司:68第05页 PDF格式BibTeX公司 XML格式
A.G.库什尼伦科。;Varsan'ev博士。;Dymchenko,A.G。;列别捷夫,G.V。 实用编程。对话系统的设计和阐述。非常规方法。(Prakticheskoe程序mirovanie。Proektirovanie i razrabotka dialogovykh sismem。Netraditionnyj podkhod)。 (俄语) Zbl 0663.68002号 莫斯科:莫斯科大学伊兹datel’stvo Moskovskogo Universiteta。88页。;R.0.15(1985)。 审核人:于。M.沃洛欣 MSC公司:68-01 68N25号 68号01 PDF格式BibTeX公司 XML格式
罗伯特·P·尼克斯。 通过示例进行编辑。 (英语) Zbl 0578.68081号 ACM事务处理。程序。语言系统。 7, 600-621 (1985).MSC公司:68吨99 68号01 PDF格式BibTeX公司 XML格式引用 \textit{R.P.Nix},ACM事务。程序。语言系统。7600--621(1985;Zbl 0578.68081) 全文: 内政部 链接
卡齐米尔兹·乔奇克;玛尔塔·奎亚特科夫斯卡 操作系统屏幕编辑器的正式模型。 (波兰语。英文摘要) Zbl 0577.68044号 泽兹。恶心。唯一。贾杰伦。,优先信息。 2, 47-59 (1985).MSC公司:68N25号 68N99型 PDF格式BibTeX公司 XML格式引用 \textit{K.Jojczyk}和\textit{M.Kwiatkowska},Zesz。恶心。唯一。贾吉尔。,Pr.Inf.764(2),47-59(1985;Zbl 0577.68044)
伊藤,太守;马科托Kizawa 分层文件组织及其在相似字符串匹配中的应用。 (英语) 兹比尔0513.68080 ACM事务处理。数据库系统。 8, 410-433 (1983).MSC公司:68第20页 68第05页 68吨99 PDF格式BibTeX公司 XML格式引用 \textit{T.Ito}和\textit{M.Kizawa},ACM翻译。数据库系统。8410--433(1983年;Zbl 0513.68080) 全文: 内政部
F.L.鲍尔。;布罗伊,M。;多什·W·。;R.格纳茨。;Krieg-Brückner,B。;劳特,A。;勒克曼,M。;T·马特兹纳。;莫勒,B。;H·帕奇。;胡椒,P。;萨梅尔森,K。;Steinbrüggen,R。;Wirsing,M。;Wössner,H。 用广谱语言编程:示例集。 (英语) Zbl 0469.68003号 科学。计算。程序。 1, 73-114 (1981).MSC公司:68号01 第68季度第60季度 68第05页 PDF格式BibTeX公司 XML格式引用 \textit{F.L.Bauer}等人,科学。计算。程序。1、73--114(1981年;Zbl 0469.68003) 全文: 内政部
克里斯托弗·弗雷泽(Christopher W.Fraser)。 通过合并编辑器脚本维护程序变体。 (英语) Zbl 0439.68046号 软质。,实际。专家。 10, 817-821 (1980).MSC公司:68N99型 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{C.W.Fraser},软。,实际。专家。10、817--821(1980;Zbl 0439.68046) 全文: 内政部