検索結果をRefWorksへエクスポートします。対象は1件です。
Export
RT Book, Whole SR Print DC OPAC T1 Algebraic logic and universal algebra in computer science : conference, Ames, Iowa, USA, June 1-4, 1988, proceedings / C.H. Bergman, R.D. Maddux, D.L. Pigozzi (eds.) T2 Lecture notes in computer science A1 Bergman, Clifford H., 1953- A1 Maddux, Roger D., 1948- A1 Pigozzi, Don, 1935- A1 Algebraic Logic and Universal Algebra in Computer Science Conference YR 1990 FD c1990 VO : us SP xi, 292 p. K1 Algebraic logic -- Congresses K1 Algebra, Universal -- Congresses PB Springer-Verlag PP Berlin ; Tokyo SN 0387972889 LA English (英語) CL LCC:QA10 CL DC20:512 NO 書誌ID=1000382166; NCID=BA1052263X; LK [OPAC]https://www.lib.sophia.ac.jp/opac/opac_link/bibid/1000382166 OL 30