検索結果をRefWorksへエクスポートします。対象は1件です。
Export
RT Book, Whole SR Print DC OPAC T1 Automated reasoning with analytic tableaux and related methods : International Conference, TABLEAUX '99, Saratoga Springs, NY, USA, June 7-11, 1999 : proceedings / Niel V. Murray (ed.) T2 Lecture notes in computer science A1 TABLEAUX A1 Murray, Niel V. YR 1999 FD c1999 SP x, 323 p. K1 Automatic theorem proving Congresses PB Springer PP Berlin ; New York SN 3540660860 LA English (英語) CL LCC:QA76.9.A96 CL DC21:006.3/33 NO Includes bibliographical references NO 書誌ID=1001063852; NCID=BA41656936; LK [OPAC]https://www.lib.sophia.ac.jp/opac/opac_link/bibid/1001063852 OL 30