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

Livres

Livres similaires