記号論理の応用

プログラミング言語の意味論

システムの仕様記述，検証

データベース理論

セキュリティ

推論システム，問題解決

情報表現

知識情報処理

論証システム

ロボット行動原理設計

自然言語の理解

...Return

• 講義の詳細