Integration of classical and model-based technologies for the automated synthesis of plans.

كتب

كتب مماثلة