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

presse2

Source

Softwarepark Hagenberg Newsletter

Date of Appearance

21/08/2018

URL

Link to Article