Situation theory and its applications v. 1

• 資料種別: 図書
• ISBN: 0937073555; 0937073547; 0937073717; 0937073709; 1881526097; 1881526089
• タイトル: Situation theory and its applications
• 巻次・部編番号: v. 1; v. 1 : pbk; v. 2; v. 2 : pbk; v. 3; v. 3 : pbk
• 著者・編者: edited by Robin Cooper, Kuniaki Mukai, and John Perry
• 著者標目: Cooper, Robin; https://ci.nii.ac.jp/author/DA01132233; 向井, 国昭 ムカイ, クニアキ; https://ci.nii.ac.jp/author/DA0530491X; Perry, John; https://ci.nii.ac.jp/author/DA01152547; Barwise, Jon; https://ci.nii.ac.jp/author/DA00049826; Gawron, Jean Mark; https://ci.nii.ac.jp/author/DA02963104; Plotkin, G. (Gordon); https://ci.nii.ac.jp/author/DA02390584; 土屋, 俊 ツチヤ, シュン; https://ci.nii.ac.jp/author/DA00242076; Aczel, Peter; https://ci.nii.ac.jp/author/DA0304777X; Israel, David; 片桐, 恭弘 カタギリ, ヤスヒロ; https://ci.nii.ac.jp/author/DA01339184; Peters, Stanley; https://ci.nii.ac.jp/author/DA01598692; Conference on Situation Theory and its Applications; https://ci.nii.ac.jp/author/DA06851849
• 出版事項: Center for the Study of Language and Information
• 出版年月日等: c1990-
• 出版年（W3CDTF）: 1990
• 大きさ: 24 cm
• 出版地（国名コード）: us
• 本文の言語コード: en
• 件名標目: Logic -- Congresses; Language and logic -- Congresses
• LCC: BC5
• 対象利用者: 一般
• 一般注記: Vol. 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; Vol. 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
• 関連情報: CSLI lecture notes; https://cir.nii.ac.jp/crid/1130000793986239616
• 関連情報（URI）: https://ci.nii.ac.jp/ncid/BA12095722#entity; https://lccn.loc.gov/90082189
• 掲載誌: CSLI lecture notes; https://cir.nii.ac.jp/crid/1130000793986239616
• 連携機関・データベース: 国立情報学研究所 : CiNii Research
• 提供元機関・データベース: CiNii Books; https://ci.nii.ac.jp/books
• NACSIS書誌ID（NCID）: https://ci.nii.ac.jp/ncid/BA12095722 : BA12095722
• LC control number: 90082189; https://lccn.loc.gov/90082189