検索結果をRefWorksへエクスポートします。対象は1件です。
Export
RT Book, Whole SR Print DC OPAC T1 Proceedings / Symposium on Logic in Computer Science A1 Symposium on Logic in Computer Science A1 IEEE Computer Society. Technical Committee on Mathematical Foundations of Computing A1 Association for Symbolic Logic A1 ACM Special Interest Group for Automata and Computability Theory A1 European Association for Theoretical Computer Science YR 1986 FD c1986- VO 1994 SP v. K1 Electronic data processing -- Congresses K1 Electronic digital computers -- Programming -- Congresses K1 Logic, Symbolic and mathematical -- Congresses K1 Computer programs -- Correctness -- Congresses PB IEEE Computer Society Press PP Washington, D.C. LA English (英語) CL LCC:QA75.5 CL DC20:004/.01/5113 NO Current Frequency: Annual NO [1st] (June 16-18, 1986)- . -- NO Published: Los Alamitos, CA, 1990- NO Sponsored by: the IEEE Computer Society Technical Committee on Mathematical Foundations of Computing, in cooperation with ACM SIGACT, Association for Symbolic Logic, European Association for Theoretical Computer Science, 1986-<1990> NO 書誌ID=1000684525; LK [OPAC]https://www.lib.sophia.ac.jp/opac/opac_link/bibid/1000684525 OL 30