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

Книги

Похожие книги