検索結果をRefWorksへエクスポートします。対象は1件です。
Export
RT Book, Whole SR Print DC OPAC T1 The automation of reasoning with incomplete information : from semantic foundations to efficient computation / Torsten Schaub T2 Lecture notes in computer science A1 Schaub, Torsten YR 1997 FD c1997 VO : pbk SP xi, 159 p. K1 Automatic theorem proving PB Springer PP Berlin ; New York SN 3540645152 LA English (英語) CL LCC:QA76.9.A96 CL DC21:006.3/33 NO Includes bibliographical references (p. [149]-159) NO 書誌ID=1000559679; NCID=BA35966010; LK [OPAC]https://www.lib.sophia.ac.jp/opac/opac_link/bibid/1000559679 OL 30