検索結果をRefWorksへエクスポートします。対象は1件です。
Export
RT Book, Whole SR Print DC OPAC T1 Logic of programs : workshop, ETH Zürich, May-July 1979 / edited by Erwin Engeler T2 Lecture notes in computer science. A1 Engeler, Erwin. A1 Eidgenössische Technische Hochschule Zürich. YR 1981 FD 1981 SP 245 p. K1 Computer programs -- Addresses, essays, lectures K1 Logic, Symbolic and mathematical -- Addresses, essays, lectures PB Springer PP Berlin ; New York SN 0387111603 CL LCC:QA76.6 CL DC19:001.64/25 NO Includes bibliographies NO 書誌ID=1000586774; LK [OPAC]https://www.lib.sophia.ac.jp/opac/opac_link/bibid/1000586774