Mathematical methods of specification and synthesis of software systems '85Wolfgang BibelAgotadoNotifícame
Formierung eines Forschungsgebiets – Künstliche Intelligenz und Intellektik an der Technischen Universität MünchenWolfgang BibelAgotadoNotifícame
