摘要
其他人正在查看的类似内容
工具书类
Beguelin,A.、Dongarra,J.、Geist,A.、Manchek,R.和Sunderam,V.S.:PVM用户指南:并行虚拟机,技术报告ORNL/TM-11826,橡树岭国家实验室,1991年。 Bonacina,M.P.和Xiang,J.:演绎策略的平行化:一项分析研究, 自动推理杂志 13 (1994), 1–33. Ertel,W.:随机竞争下的OR-平行定理证明 程序。 LPAR的 1992年,俄罗斯圣彼得堡,施普林格LNAI 6241992,第226-237页。 Moser,M.,Ibens,O.,Letz,R.,Steinbach,J.,Goller,C.,Schumann,J.和Mayr,K.:SETHEO和E-SETHEO:CADE-13系统, 自动推理杂志 18 (2) (1997). 苏特纳,C.B.: 基于松驰静态划分的搜索系统并行化 1995年,慕尼黑理工大学信息研究所论文。 由Infix-Verlag出版,DISKI 101卷,德国。 Suttner,C.B.:静态分区与松弛,in 人工智能并行处理3 爱思唯尔出版社,1996年。 出现。 Suttner,C.B.:平行定理证明者SPTHEO,预印本,1997年。 Suttner,C.B.和Schumann,J.:并行自动定理证明 人工智能并行处理1 《机器智能与模式识别》14,Elsevier,1994年,第209-257页。
作者信息
作者和附属机构
权利和权限
关于本文
引用这篇文章
发布日期 : 内政部 : https://doi.org/10.1023/A:1005868304990