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