様相論理をもちいた行為タイプ抽出のための基礎研究

著者

• 仁科, 弘之 ニシナ, ヒロユキ

書誌事項

様相論理をもちいた行為タイプ抽出のための基礎研究

研究代表者 仁科弘之

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

[仁科弘之], 2007.3

タイトル読み

ヨウソウ ロンリ オ モチイタ コウイ タイプ チュウシュツ ノ タメ ノ キソ ケンキュウ

注記

表紙のシリーズタイトル (誤植) : 科学研究費補助金(基礎研究(C))研究成果報告書

背表紙のシリーズタイトル (誤植) : 基礎研究(C)(2)

研究課題番号15520304

• NII書誌ID(NCID): BA82516246
• 出版国コード: ja
• タイトル言語コード: jpn
• 本文言語コード: jpneng
• 出版地: さいたま
• ページ数/冊数: 115p
• 大きさ: 30cm
• 親書誌ID:
  • BA30764121