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

Các sách

Sách tương tự