検索結果をRefWorksへエクスポートします。対象は1件です。
Export
RT Book, Whole SR Print DC OPAC T1 Theorem proving with analytic tableaux and related methods : 5th International Workshop, TABLEAUX '96, Terrasini, Palermo, Italy, May 15-17, 1996 : proceedings / P. Miglioli ... [et al.], eds. T2 Lecture notes in computer science A1 TABLEAUX A1 Miglioli, Pierangelo YR 1996 FD c1996 SP x, 329 p. K1 Logic programming -- Congresses K1 Reasoning -- Congresses PB Springer PP Berlin SN 3540612084 LA English (英語) CL LCC:QA76.63 CL DC20:005.1/1 NO Includes bibliographical references NO 書誌ID=1000537813; NCID=BA27487158; LK [OPAC]https://www.lib.sophia.ac.jp/opac/opac_link/bibid/1000537813 OL 30