Mathematical methods of specification and synthesis of software systems '85Wolfgang BibelÉpuiséPrévenez-moi
Formierung eines Forschungsgebiets – Künstliche Intelligenz und Intellektik an der Technischen Universität MünchenWolfgang BibelÉpuiséPrévenez-moi
