検索結果をRefWorksへエクスポートします。対象は1件です。
Export
RT Book, Whole SR Electronic DC OPAC T1 Frontiers of combining systems : first international workshop, Munich, March 1996 A1 Baader, Franz A1 Schulz, K. U (Klaus Ulrich) 1957- YR 1996 FD c1996 VO HB : alk. paper K1 Logic, Symbolic and mathematical -- Congresses K1 Computer science -- Congresses PB Kluwer Academic Publishers PP Dordrecht ; Boston SN 0792342712 LA English (英語) CL LCC:QA9.A1 CL DC20:511.3 NO Includes bibliographical references NO License restrictions may limit access NO 叢書名=Applied logic series ; v. 3 NO 書誌ID=OB00867750; LK https://link.springer.com/openurl?genre=book&isbn=978-94-009-0349-4 DS 同志社大学OPAC OL 30