図書館

Words, proofs, and diagrams

edited by Dave Barker-Plummer ... [et al.] ; : pbk. -- CSLI Publications, 2002. -- (CSLI lecture notes ; no. 141). <BB00330022>
あべし(0) きゅんきゅん(0) ぽろぽろ(0) わくわく(0) ざわざわ(0)


登録タグ:
登録されているタグはありません
書誌URL:

所蔵一覧 1件~1件(全1件)

No. 巻号 所蔵館 配置場所 請求記号 資料ID 状態 返却予定日 予約 WEB書棚
0001 : pbk 八王子 BF 洋図書 801.01/W-88 00110085469 0件

No. 0001
巻号 : pbk
所蔵館 八王子
配置場所 BF 洋図書
請求記号 801.01/W-88
資料ID 00110085469
状態
返却予定日
予約 0件
WEB書棚

書誌詳細

標題および責任表示 Words, proofs, and diagrams / edited by Dave Barker-Plummer ... [et al.]
出版・頒布事項 Stanford : CSLI Publications , c2002
形態事項 x, 276 p. : ill. ; 23 cm
巻号情報
巻次等 : pbk
ISBN 1575864061
書誌構造リンク CSLI lecture notes <BB00265255> no. 141//a
注記 Includes bibliographical references and index
注記 ハードバック版は,別書誌 <BA58973638>
学情ID BA60224247
本文言語コード 英語
著者標目リンク Barker-Plummer, Dave <>
分類標目 LCC:P39.W67
分類標目 DC21:401/.43
件名標目等 Language and logic
件名標目等 Reasoning
件名標目等 Logic diagrams
件名標目等 Computational linguistics
件名標目等 Visual communication
件名標目等 Semantics (Philosophy)