Research report. no. 23

• 資料種別: 図書
• タイトル: Research report
• 巻次・部編番号: no. 23
• 出版事項: Numazu : International Institute for Advanced Study of Social Information Science, Fujitsu Ltd.
• 出版年月日等: 1982.1
• 出版年（W3CDTF）: 1982
• 数量: 18 p.
• 大きさ: 26 cm
• その他のタイトル: Axiomatization of computer-oriented modal logic and decision procedure
• 出版地（国名コード）: JP
• 本文の言語コード: eng
• NDLC: Y95
• 対象利用者: 一般
• 所蔵機関: 国立国会図書館
• 請求記号: Y95-88Y49
• 連携機関・データベース: 国立国会図書館 : 国立国会図書館蔵書; https://ndlsearch.ndl.go.jp
• 書誌ID（NDLBibID）: 000008145940; http://id.ndl.go.jp/bib/000008145940
• 全国書誌番号: 21008927
• 目録規則: 日本目録規則1942年版、1952年版、1965年版
• 整理区分コード: 113

• 内容細目: Axiomatization of computer-oriented modal logic and decision procedure / by H. Sawamura（提供元: 国立国会図書館蔵書）