ログイン
目録検索 ▼
検索トップへ
雑誌タイトルリスト
新着案内
貸出ランキング
利用者サービス ▼
MyLibrary
ブックマーク
お気に入り検索
新着アラート
ILL複写依頼
ILL貸借依頼
≡
書誌詳細
関西外国語大学図書館学術情報センター
検索結果一覧へ戻る
Logical reasoning with diagrams & sentences using Hyperproof
Dave Barker-Plummer, Jon Barwise, & John Etchemendy ; program by Michael Murray and Albert Liu ; with additional programming by Murad Akhter and Andrei Aron ; : pbk. -- CSLI Publications, 2017. -- (CSLI lecture notes ; no. 216). <BB40248963>
便利機能:
詳細情報を見る
書誌URL:
Logical reasoning with diagrams & sentences using Hyperproof
Dave Barker-Plummer, Jon Barwise, & John Etchemendy ; program by Michael Murray and Albert Liu ; with additional programming by Murad Akhter and Andrei Aron ; : pbk. -- CSLI Publications, 2017. -- (CSLI lecture notes ; no. 216). <BB40248963>
便利機能:
詳細情報を見る
書誌URL:
所蔵一覧
1件~1件(全1件)
ナンバーをクリックすると所蔵詳細をみることができます。
10件
20件
50件
100件
No.
巻号
所蔵館
配置場所
請求記号
資料ID
資料形態
禁帯出区分
状態
返却予定日
予約
仮想本棚
0001
: pbk
中宮図
2F一般洋書
116/L82
0004734177
図書
貸出可
0件
No.
0001
巻号
: pbk
所蔵館
中宮図
配置場所
2F一般洋書
請求記号
116/L82
資料ID
0004734177
資料形態
図書
禁帯出区分
貸出可
状態
返却予定日
予約
0件
仮想本棚
このページのTOPへ
書誌詳細
標題および責任表示
Logical reasoning with diagrams & sentences using Hyperproof / Dave Barker-Plummer, Jon Barwise, & John Etchemendy ; program by Michael Murray and Albert Liu ; with additional programming by Murad Akhter and Andrei Aron
出版・頒布事項
Stanford, Calif. : CSLI Publications , c2017
形態事項
xvii, 210 p. : ill. ; 26 cm
巻号情報
巻次等
: pbk
ISBN
9781575869513
書誌構造リンク
CSLI lecture notes <BB00001595> no. 216//a
その他の標題
背表紙タイトル:Logical reasoning with diagrams & sentences
注記
Includes indexes
学情ID
BB24044497
本文言語コード
英語
著者標目リンク
*Barker-Plummer, Dave <AU20069137>
著者標目リンク
Barwise, Jon <AU10000349>
著者標目リンク
Etchemendy, John, 1952- <AU20069138>
著者標目リンク
Murray, Michael <>
著者標目リンク
Liu, Albert, 1966- <AU20069139>
著者標目リンク
Akhter, Murad <AU20069177>
著者標目リンク
Aron, Andrei <AU20069178>
分類標目
LCC:BC177
分類標目
DC23:160.285
件名標目等
Logic
件名標目等
Reasoning
このページのTOPへ
検索結果一覧へ戻る
このページのTOPへ
関連情報<<
関連情報
関連資料
親書誌をみる
CSLI lecture notes
著者からさがす
*Barker-Plummer, Dave
Barwise, Jon
Etchemendy, John, 1952-
Liu, Albert, 1966-
Akhter, Murad
Aron, Andrei
分類からさがす
LCC:BC177
DC23:160.285
件名からさがす
Logic
Reasoning
他の検索サイトで探す
Google Books
NDLSearch
CiNii Books
カーリル
他大学資料確認
他大学(NII):同一条件検索
他大学(NII):同一書誌検索
他機関から取り寄せる
ILL複写依頼(コピー取り寄せ)
ILL貸借依頼(現物借用)
この書誌のQRコード