文献
J-GLOBAL ID:200902001847230086
整理番号:83A0236900
同語反復のテスト・アルゴリズムの改善
Improvements of a tautology-testing algorithm.
著者 (2件):
HOERNIG K M
(Technische Univ. Muenchen, FRG)
,
BIBEL W
(Technische Univ. Muenchen, FRG)
資料名:
Lecture Notes in Computer Science
(Lecture Notes in Computer Science)
巻:
138
ページ:
326-341
発行年:
1982年
JST資料番号:
H0078D
ISSN:
0302-9743
資料種別:
会議録 (C)
記事区分:
原著論文
発行国:
ドイツ (DEU)
言語:
英語 (EN)