理論計算機科学における数理論理学の応用

著者

• 小野, 寛晰 オノ, ヒロアキラ

書誌事項

理論計算機科学における数理論理学の応用

研究代表者 小野寛晰

（科学研究費補助金基盤研究(C)(2)研究成果報告書, 平成8-9年度）

[小野寛晰], 1998.3

タイトル読み

リロン ケイサンキ カガク ニ オケル スウリ ロンリガク ノ オウヨウ

注記

研究課題番号:08680356

詳細情報

• NII書誌ID(NCID): BA88364005
• 出版国コード: ja
• タイトル言語コード: jpn
• 本文言語コード: engjpn
• 出版地: [辰口町(石川県)]
• ページ数/冊数: 1冊
• 大きさ: 30cm
• 親書誌ID:
  • BA30195401