格雷厄姆·赖特森
人员信息
SPARQL查询
优化列表
2000 – 2009
2006 [j8] 迈克尔·R·费罗斯 , 斯特凡·塞德尔 , 格雷厄姆·赖特森 :
关于寻找短分辨率反驳和小的不可满足子集。 西奥。 计算。 科学。 351 ( 三 ) : 351-359 ( 2006 ) 2004 【c9】 迈克尔·R·费罗斯 , 斯特凡·塞德尔 , 格雷厄姆·赖特森 :
关于寻找短解析度退款和小的不可满足子集。 IWPEC公司 2004 : 223-234 2002 [j7] 约格·希克曼 , 格雷厄姆·赖特森 :
一个开放的研究问题:R.Kowalski连接图证明过程的强完备性。 日志。 J.IGPL公司 10 ( 1 ) : 85-103 ( 2002 ) 【c8】 约格·希克曼 , 格雷厄姆·赖特森 :
一个开放的研究问题:R.Kowalski连接图证明过程的强完备性。 计算逻辑:逻辑编程及其以外 2002 : 231-252 2001 [j6] 约格·希克曼 , 格雷厄姆·赖特森 :
勘误表:W.Bibel和E.Eder关于连接图解析的强完备性结果的反例。 美国临床医学杂志 48 ( 1 ) : 145-147 ( 2001 ) 2000 【c7】 布鲁斯·戴维斯 , 格雷厄姆·赖特森 :
并发系统中的策略方法。 猫 2000 : 33
1990 – 1999
1998 [j5] 乔·科尔德威尔 , 格雷厄姆·赖特森 :
分析表辅助和模型消除。 澳大利亚。 计算。 J。 30 ( 1 ) : 1-11 ( 1998 ) 1997 【b2】 安德烈亚斯·福奇 , 格雷厄姆·赖特森 :
计算机货币-Zahlungssysteme im Internet。 d朋克 1997 ,国际标准图书编号 978-3-920993-55-3 第I-X页,第1-126页 【c6】 利亚娜·布兰科维奇 , 彼得·霍拉克 , 米尔卡·米勒 , 格雷厄姆·赖特森 :
无妥协统计数据库的可用性。 SSDBM公司 1997 : 144-154 1996 【b1】 安德烈亚斯·福奇 , 格雷厄姆·赖特森 :
计算机货币-电子支付系统的系统概述。 d朋克 1996 ,国际标准图书编号 978-3-920993-54-6 第I-XII、1-108页 1995 【j4】 华莱士 , 格雷厄姆·赖特森 :
基于模型消除表的回归合并定理证明器。 日志。 J.IGPL公司 三 ( 6 ) : 921-937 ( 1995 ) 1992 [j3] 格雷厄姆·赖特森 , 乔·科尔德威尔 :
子句分析表的截断技术。 信息处理。 莱特。 42 ( 5 ) : 271-281 ( 1992 ) [c5] 格雷厄姆·赖特森 :
分析表研究。 TABLEAUX公司 1992 : 85-87 [电子1] 伯特伦·弗伦霍夫 , 格雷厄姆·赖特森 :
推理系统中的并行化,国际研讨会,德国达格斯图尔城堡,1990年12月17日至18日,论文集。 计算机科学课堂讲稿 590, 施普林格 1992 ,国际标准图书编号 3-540-55425-4 [目录]
1980 – 1989
1985 [注2] 格雷厄姆·赖特森 :
非经典逻辑定理证明。 J.汽车。 原因。 1 ( 1 ) : 35-37 ( 1985 ) 1984 【c4】 汉斯·尤根·奥巴赫(Hans Jürgen Ohlbach) , 格雷厄姆·赖特森 :
用自动定理证明器解决关联逻辑中的一个问题。 CADE公司 1984 : 496-508 1980 [j1] 约格·希克曼 , 格雷厄姆·赖特森 :
参数化连接图。 信息学报 13 : 67-86 ( 1980 ) 【c3】 格雷厄姆·赖特森 :
自动定理证明中等价连接词的处理。 GI贾尔斯塔贡 1980 : 428
1970 – 1979
1978 【c2】 诺伯特·艾辛格 , 约格·希克曼 , 格雷厄姆·赖特森 :
参数调制连接图。 AISB/GI(ECAI) 1978 : 105-109 1974 【c1】 鲁道夫·佩斯科 , 格雷厄姆·赖特森 :
RGU的Ein methodisch-didaktisches Konzept für Simulations程序。 RGU公司 1974 : 63-71