文献
J-GLOBAL ID:200902000113048737
整理番号:87A0005592
定理証明において反駁完全性をつくるための新しい方法
A new method for establishing refutational completeness in theorem proving.
著者 (2件):
HSIANG J
(SUNY at Stony Brook, NY, USA)
,
RUSINOWITCH M
(CRIN, Vandoeuvre-les-Nancy, FRA)
資料名:
Lecture Notes in Computer Science
(Lecture Notes in Computer Science)
巻:
230
ページ:
141-152
発行年:
1986年
JST資料番号:
H0078D
ISSN:
0302-9743
資料種別:
会議録 (C)
記事区分:
原著論文
発行国:
ドイツ (DEU)
言語:
英語 (EN)