玛丽亚·保拉(Maria Paola Bonacina) 演绎的并行策略分类。 (英语) Zbl 1001.68124号 安。数学。Artif公司。智力。 29,编号1-4,223-257(2000).MSC公司:68吨15 68宽10 68页第10页 PDF格式BibTeX公司 XML格式引用 \textit{M.P.Bonacina},Ann.数学。Artif公司。智力。29,编号1--4,223--257(2000;Zbl 1001.68124) 全文: 内政部
迪特尔·赫特 注释推理。 (英语) Zbl 1001.68125号 安。数学。Artif公司。智力。 29,编号1-4183-222(2000).MSC公司:68吨15 PDF格式BibTeX公司 XML格式引用 \textit{D.Hutter},Ann.数学。Artif公司。智力。29,编号1--4,183-222(2000;Zbl 1001.68125) 全文: 内政部
迈拉·阿彻 TAME:使用PVS策略进行特殊目的的定理证明。 (英语) 兹比尔1001.68127 安。数学。Artif公司。智力。 29,编号1-4139-181(2000).MSC公司:68吨15 PDF格式BibTeX公司 XML格式引用 \textit{M.Archer},Ann.数学。Artif公司。智力。29,编号1--4,139-181(2000;Zbl 1001.68127) 全文: 内政部
洛杉矶丹尼斯。;A.邦迪。;我是格林。 从不同的举证尝试中有效地利用未能产生证人的情况进行共同举证。 (英语) Zbl 1001.68128号 安。数学。Artif公司。智力。 29,编号1-4,99-138(2000).MSC公司:68吨15 PDF格式BibTeX公司 XML格式引用 \textit{L.A.Dennis}等人,安.数学。Artif公司。智力。29,编号1--4,99-138(2000;Zbl 1001.68128) 全文: 内政部
爱尔兰,安德鲁;史塔克,杰米 证明战略发展规划。 (英语) Zbl 1001.68126号 安。数学。Artif公司。智力。 29,编号1-4,65-97(2000).MSC公司:68吨15 PDF格式BibTeX公司 XML格式引用 \textit{A.爱尔兰}和\textit{J.斯塔克},安.数学。Artif公司。智力。29,编号1--4,65-97(2000;Zbl 1001.68126) 全文: 内政部
卡洛斯·卡斯特罗;彼得·博罗万斯克 使用策略语言解决搜索问题。 (英语) Zbl 1001.68030号 安。数学。Artif公司。智力。 29,编号1-4,35-64(2000).MSC公司:68页第10页 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.卡斯特罗}和\textit{P.博罗万斯克},安.数学。Artif公司。智力。29,编号1--4,35-64(2000;Zbl 1001.68030) 全文: 内政部
帕特里夏·约翰;埃尔科·维瑟 Stratego中的热融合:程序转换系统生成的案例研究。 (英语) Zbl 1014.68034号 安。数学。Artif公司。智力。 29,编号1-4,1-34(2000).MSC公司:68甲15 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Johann}和\textit{E.Visser},Ann.Math。Artif公司。智力。29,编号1--4,1-34(2000;Zbl 1014.68034) 全文: 内政部