検索結果をRefWorksへエクスポートします。対象は1件です。
Export
RT Book, Whole SR Print DC OPAC T1 Words, proofs, and diagrams / edited by Dave Barker-Plummer ... [et al.] T2 CSLI lecture notes A1 Barker-Plummer, Dave YR 2002 FD c2002 VO : hbk VO : pbk SP x, 276 p. K1 Language and logic K1 Reasoning K1 Logic diagrams K1 Computational linguistics K1 Visual communication K1 Semantics (Philosophy) PB CSLI Publications PP Stanford, Calif. SN 1575864053 SN 1575864061 LA English (英語) CL LCC:P39 NO Includes bibliographical references and index NO 書誌ID=1001428345; LK [OPAC]https://www.lib.sophia.ac.jp/opac/opac_link/bibid/1001428345 OL 30