豊田工業高等専門学校

Situation theory and its applications

edited by Robin Cooper, Kuniaki Mukai, and John Perry ; v. 1 - v. 3 : pbk. -- Center for the Study of Language and Information, 1990. -- (CSLI lecture notes ; no. 22, 26, 37). <BB02201751>
登録タグ:
登録されているタグはありません
書誌URL:

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

No. 巻号 所蔵館 配置場所 請求記号 資料ID 状態 コメント 返却予定日 予約
0001 v. 1 : pbk 豊田高専 書庫1F 116.3||Si||1 0063912 0件
0002 v. 2 豊田高専 書庫1F 116.3||Si||2 0063913 0件
No. 0001
巻号 v. 1 : pbk
所蔵館 豊田高専
配置場所 書庫1F
請求記号 116.3||Si||1
資料ID 0063912
状態
コメント
返却予定日
予約 0件
No. 0002
巻号 v. 2
所蔵館 豊田高専
配置場所 書庫1F
請求記号 116.3||Si||2
資料ID 0063913
状態
コメント
返却予定日
予約 0件

書誌詳細

標題および責任表示 Situation theory and its applications / edited by Robin Cooper, Kuniaki Mukai, and John Perry
出版・頒布事項 Stanford, CA : Center for the Study of Language and Information , c1990-
形態事項 v. ; 24 cm
巻号情報
巻次等 v. 1
ISBN 0937073555
巻号情報
巻次等 v. 1 : pbk
ISBN 0937073547
巻号情報
巻次等 v. 2
ISBN 0937073717
巻号情報
巻次等 v. 2 : pbk
ISBN 0937073709
巻号情報
巻次等 v. 3
ISBN 1881526097
巻号情報
巻次等 v. 3 : pbk
ISBN 1881526089
書誌構造リンク CSLI lecture notes <BB00071196> no. 22, 26, 37//a
注記 v. 1. Proceedings of the First Conference on Situation Theory and its Applications held by CSLI at Asilomar, Calif., Mar. 23-26, 1989 -- v. 2. Proceedings of the Second Conference on Situation Theory and its Applications at Loch Rannoch, Scotland, September 1990 -- v. 3. Proceedings of the Third Conference on Situation Theory and Its Applications held at Oiso, Kanagawa, Japan, November 1991
注記 v. 1 edited by Robin Cooper, Kuniaki Mukai, and John Perry -- v. 2 edited by Jon Barwise, Jean Mark Gawron, Gordon Plotkin, and Syun Tutiya -- v. 3 edited by Peter Aczel ... [et al.]
注記 Includes bibliographical references and name and subject indexes
学情ID BA12095722
本文言語コード 英語
著者標目リンク Cooper, Robin, 1947- <NC:DA01132233>
著者標目リンク 向井, 国昭
ムカイ, クニアキ <NC:DA0530491X>
著者標目リンク Perry, John, 1943- <NC:DA01152547>
著者標目リンク Barwise, Jon <NC:DA00049826>
著者標目リンク Gawron, Jean Mark <NC:DA02963104>
著者標目リンク Plotkin, G. (Gordon), 1946- <NC:DA02390584>
著者標目リンク 土屋, 俊(1952-)
ツチヤ, シュン <NC:DA00242076>
著者標目リンク Aczel, Peter <NC:DA0304777X>
著者標目リンク Conference on Situation Theory and its Applications <NC:DA06851849> (1st : 1989 : Asilomar, Calif.)
著者標目リンク Conference on Situation Theory and its Applications <NC:DA06851849> (2nd : 1990 : Loch Rannoch, Scotland)
著者標目リンク Conference on Situation Theory and its Applications <NC:DA06851849> (3rd : 1991 : Kanagawa, Japan
分類標目 LCC:BC5
分類標目 DC20:160
件名標目等 Logic -- Congresses
件名標目等 Language and logic -- Congresses