関連キーワード
1. 述語論理
2. 拡張
3. 応用
4. 研究
5. 計算
6. 論理プログラミング
7. 形式手法
8. モデルチェック
9. プログラム分析
10. 自動定理証明
11. インタラクション設計
12. ソフトウェア工学
13. 知識表現
14. 推論
15. 論理的な推論
16. 論理的な証明
17. 論理的なモデル
18. 形式的手法
19. 言語処理
20. ナチュラルランゲージプロセッシング
21. マシンラーニング
22. コンピュータビジョン
23. 応用数学
24. 意味論
25. 論理の意味論
26. 論理の形式
27. 論理プログラム論理
28. プログラム検証
29. ベリフェーカル論理
30. リアルタイムシステム
「述語論理の拡張と応用に関する研究」
2000文字