検索結果をRefWorksへエクスポートします。対象は1件です。
Export
RT Book, Whole SR Print DC OPAC T1 Computer science logic : 13th International Workshop, CSL '99, 8th Annual Conference of the EACSL, Madrid, Spain, September 20-25, 1999 : proceedings / Jörg Flum, Mario Rodríguez-Artalejo (eds.) T2 Lecture notes in computer science A1 Workshop on Computer Science Logic A1 European Association for Computer Science Logic A1 Flum, Jörg A1 Rodríguez Artalejo, M. (Mario) YR 1999 FD c1999 SP xi, 580 p. K1 Computer logic -- Congresses PB Springer PP Berlin SN 3540665366 LA English (英語) NO Includes bibliographical references and index NO 書誌ID=1001084248; NCID=BA43279763; LK [OPAC]https://www.lib.sophia.ac.jp/opac/opac_link/bibid/1001084248 OL 30