大谷木 重夫 | 電総研・制御部

スポンサーリンク

概要

• 大谷木 重夫の詳細を見る
• 同名の論文著者
• 電総研・制御部の論文著者

関連著者

• 大谷木 重夫

  電総研・制御部

• 大谷木 重夫

  電子技術総合研究所制御部

• 田村 浩一郎

  電子技術総合研究所企画室

• 田村 浩一郎

  電子技術総合研究所所長

著作論文

• 論理と関数
• 82-21 節行列表示による結合グラフ・リゾリューション
• 80-26 非決定的並列システムの仕様記述
• 80-25 並行・非決定性プログラムの様相論理
• 80-24 並列プログラムの指示意味論
• 80-04 モンタギュー文法と使役的意味合いを含む動詞の語彙分解
• 非単調関数を含む自己適用可能な関数領域
• Prologの意味論--意味記述の新しい可能性

スポンサーリンク