Reinhold Letz公司
人员信息
SPARQL查询
优化列表
2000 – 2009
2007 [j7] Reinhold Letz公司 , 格诺·斯坦兹 :
断线表微积分。 J.汽车。 原因。 38 ( 1-3 ) : 79-126 ( 2007 ) 2004 [第18条] Reinhold Letz公司 , 格诺·斯坦兹 :
断开连接表中变量的一般处理。 国际JCAR 2004 : 289-306 2003 [第17条] Reinhold Letz公司 , 格诺·斯坦兹 :
断开连接表中的通用变量。 TABLEAUX公司 2003 : 117-133 2002 [第16条] Reinhold Letz公司 :
量化布尔公式决策过程中的引理和模型缓存。 TABLEAUX公司 2002 : 160-175 [第15条] Reinhold Letz公司 , 格诺·斯坦兹 :
将等式推理集成到断开演算中。 TABLEAUX公司 2002 : 176-190 2001 [第14条] Reinhold Letz公司 , 格诺·斯坦兹 :
DCTP-一个断续演算定理证明程序-系统摘要。 国际JCAR 2001 : 381-385 [第13条] Reinhold Letz公司 , 格诺·斯坦兹 :
用断续表自动证明定理和生成模型。 LPAR公司 2001 : 142-156 【p1】 Reinhold Letz公司 , 格诺·斯坦兹 :
模型消除和连接表程序。 自动化推理手册 2001 : 2015-2114 2000 [第12条] Reinhold Letz公司 :
表和连接演算的性质和关系。 智能与计算逻辑 2000 : 245-261
1990 – 1999
1999 [j6] 安德列斯·沃尔夫 , Reinhold Letz公司 :
自动定理证明中的策略并行性。 国际J模式识别。 Artif公司。 智力。 13 ( 2 ) : 219-245 ( 1999 ) 1998 [j5] Reinhold Letz公司 , 克里斯托夫·魏登巴赫 :
自动演绎的范例与透视。 昆士利希情报。 12 ( 4 ) : 15-19 ( 1998 ) [第11条] Reinhold Letz公司 :
使用配合修剪连接表aux。 CADE公司 1998 : 381-396 [第10条] 安德列斯·沃尔夫 , Reinhold Letz公司 :
定理自动证明中的策略并行性。 FLAIRS公司 1998 : 142-146 1997 【j4】 Reinhold Letz公司 :
LINUS-带装置支持的连杆瞬时校准器。 J.汽车。 原因。 18 ( 2 ) : 205-210 ( 1997 ) [j3] 马克思·莫泽 , 奥尔特伦·伊本斯 , Reinhold Letz公司 , 约阿希姆·斯坦巴赫 , 克里斯托夫·高尔勒 , 约翰·舒曼 , 克劳斯·迈尔 :
SETHEO和E-SETHEO-CADE-13系统。 J.汽车。 原因。 18 ( 2 ) : 237-246 ( 1997 ) 【c9】 奥特伦·伊本斯 , Reinhold Letz公司 :
模型消除中的子目标替换。 TABLEAUX公司 1997 : 201-215 1994 [注2] Reinhold Letz公司 , 克劳斯·迈尔 , 克里斯托夫·高尔勒 :
将切割规则合并到连接表中。 J.汽车。 原因。 13 ( 三 ) : 297-337 ( 1994 ) 【c8】 克里斯托夫·高尔勒 , Reinhold Letz公司 , 克劳斯·迈尔 , 约翰·舒曼 :
SETHEO V3.2:最新发展-系统摘要。 CADE公司 1994 : 778-782 1993 【b1】 Reinhold Letz公司 :
自动扣除的一阶计算和证明程序。 德国达姆施塔特科技大学, 1993 ,第1-195页 【c7】 Reinhold Letz公司 :
关于分辨率的多项式透明度。 国际JCAI 1993 : 123-131 1992 [j1] Reinhold Letz公司 , 约翰·舒曼 , 斯特凡·拜耳 , 沃尔夫冈·比贝尔 :
SETHEO:一个高性能定理证明。 J.汽车。 原因。 8 ( 2 ) : 183-212 ( 1992 ) 【c6】 Reinhold Letz公司 , 克劳斯·迈尔 :
SETHEO II-系统及其计算。 TABLEAUX公司 1992 : 49-51 [i6] Reinhold Letz公司 :
连接表及其与线性分辨率的关系。 慕尼黑TU Forschungsberichte FKI 169 92公司 : 1-18 ( 1992 ) [i5] Reinhold Letz公司 :
关于多项式分辨率的透明度。 慕尼黑TU Forschungsberichte FKI 172 92公司 : 1-17 ( 1992 ) 1990 【c5】 约翰·舒曼 , Reinhold Letz公司 :
PARTHEO:一个高性能的并行定理证明程序。 CADE公司 1990 : 40-56 【c4】 约翰·舒曼 , Reinhold Letz公司 , 弗兰兹·J·库弗斯 :
高性能定理证明器教程:高效实现和并行化。 CADE公司 1990 : 683 [i4] Reinhold Letz公司 , 克劳斯·迈尔 :
命题演算中的证明图式。 慕尼黑TU Forschungsberichte FKI 144 90型 : 1-19 ( 1990 ) [i3] 约翰·舒曼 , Reinhold Letz公司 :
PARTHEO:一个高性能的并行定理证明程序。 慕尼黑TU Forschungsberichte TUM I 9009公司 : 1-17 ( 1990 )
1980 – 1989
1989 【c3】 沃尔夫冈·埃特尔 , 弗兰兹·J·库弗斯 , Reinhold Letz公司 , 泽维尔·潘多尔菲 :
帕提奥:并行推理机。 第(1)部分 1989 : 458-476 【c2】 斯特凡·拜耳 , Reinhold Letz公司 , 约翰·舒曼 :
帕提奥:并行推理机。 Wissensbasierte系统 1989 : 527-539 [i2] Reinhold Letz公司 :
逻辑编程中的经典否定。 慕尼黑TU Forschungsberichte FKI 123 89公司 : 1-8 ( 1989 ) 1988 [i1] Reinhold Letz公司 :
在Horn子句逻辑中表示一阶逻辑。 慕尼黑TU Forschungsberichte FKI 96 88型 : 1-12 ( 1988 ) 1986 【c1】 斯特凡·拜耳 , 埃尔玛·埃德尔 , 弗兰兹·J·库弗斯 , Reinhold Letz公司 , 约翰·舒曼 :
基于连接方法的类PROLOG定理证明器的实现。 AIMSA公司 1986 : 29-36