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

Author(s)

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

Bibliographic Information

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

研究代表者 仁科弘之

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

[仁科弘之], 2007.3

Title Transcription

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

Note

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

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

研究課題番号15520304

Details

• NCID: BA82516246
• Country Code: ja
• Title Language Code: jpn
• Text Language Code: jpneng
• Place of Publication: さいたま
• Pages/Volumes: 115p
• Size: 30cm
• Parent Bibliography ID:
  • BA30764121