スポンサーリンク

新潟大学工学部 情報工学科 | 論文

• 2種類の否定を持つ知識ベースからの議論の作成と実装
• マルチエージェントシステムのための通信プロトコルとその効率分析
• Tactics/Tacticalsを利用したアナロジーによる証明法について
• HOLによるRelevant logicの定理証明機
• 屋内実環境におけるSIMO/MIMOセンサの特性比較に関する検討
• 屋外, 屋内および屋外-屋内伝搬特性を考慮したヘテロジーニアスネットワークにおける干渉量評価

• < 前のページ

スポンサーリンク