検索結果をRefWorksへエクスポートします。対象は1件です。
Export
RT Book, Whole SR Print DC OPAC T1 Logic programming and automated reasoning : 4th International Conference, LPAR '93, St. Petersburg, Russia, July 13-20, 1993 : proceedings / Andrei Voronkov (ed.) T2 Lecture notes in computer science A1 LPAR A1 Voronkov, A. (Andreĭ), 1959- YR 1993 FD c1993 VO : us SP xiii, 386 p. K1 Logic programming -- Congresses K1 Automatic theorem proving -- Congresses PB Springer-Verlag PP Berlin ; New York SN 0387569448 LA English (英語) CL LCC:QA76.63 CL DC20:006.3 CL NDC8:007.1 NO Includes bibliographical references NO 書誌ID=1000477796; NCID=BA20594626; LK [OPAC]https://www.lib.sophia.ac.jp/opac/opac_link/bibid/1000477796 OL 30