環境と文脈を持つ計算体系とその論理

著者

• 佐藤, 雅彦 サトウ, マサヒコ
• 京都大学大学院情報学研究科 キョウト ダイガク ダイガクイン ジョウホウガク ケンキュウカ

書誌事項

環境と文脈を持つ計算体系とその論理

佐藤雅彦研究代表

[佐藤雅彦], 2004.3

タイトル別名

平成13年度-15年度科学研究費補助金(基盤研究(B)(2))研究成果報告書 : (課題番号 13480082)

タイトル読み

カンキョウ ト ブンミャク オ モツ ケイサン タイケイ ト ソノ ロンリ

注記

京都大学情報学研究科

• NII書誌ID(NCID): BA72097216
• 出版国コード: ja
• タイトル言語コード: jpn
• 本文言語コード: engjpn
• 出版地: [京都]
• ページ数/冊数: 1冊
• 大きさ: 30cm