Automated Abduction
書誌事項
- タイトル
- Automated Abduction
- 著者
- Katsumi Inoue
収録刊行物
-
- Lecture Notes in Artificial Intelligence Vol.2408
-
Lecture Notes in Artificial Intelligence Vol.2408 311-341, 2002