検索結果をRefWorksへエクスポートします。対象は1件です。
Export
RT Book, Whole SR Print DC OPAC T1 Theorem proving with analytic tableaux and related methods : 4th International Workshop, TABLEAUX '95, Schloß Rheinfels, St. Goar, Germany, May 7-10, 1995 : proceedings / Peter Baumgartner, Reiner Hähnle, Joachim Posegga (eds.) T2 Lecture notes in computer science A1 TABLEAUX A1 Baumgartner, Peter A1 Hähnle, Reiner A1 Posegga, Joachim YR 1995 FD c1995 SP x, 352 p. K1 Logic programming -- Congresses K1 Reasoning -- Congresses PB Springer Verlag PP Berlin ; New York SN 3540593381 LA English (英語) CL LCC:QA76.63 CL DC20:005.1/1 NO Includes bibliographical references NO 書誌ID=1000522733; NCID=BA25332128; LK [OPAC]https://www.lib.sophia.ac.jp/opac/opac_link/bibid/1000522733 OL 30