05/10/2018: Prof. Bruno Buchberger erhält “Herbrand Award for Automated Reasoning” in Oxford

Prof. Bruno Buchberger erhält "Herbrand Award for Automated Reasoning" in Oxford

thumbnail of presse2