BLACKBOX : A new approach to the application of theorem proving to problem solving
収録刊行物
-
- AIPS98 Workshop on Planning as Combinatorial Search
-
AIPS98 Workshop on Planning as Combinatorial Search 1998