@misc{RISC5584,
author = {Bruno Buchberger},
title = {{Artificial Intelligence: Endlich Schluss mit Mathematik?}},
language = {english},
year = {2017},
month = {August 15},
note = {Invited colloquium talk at Internationale Akademie Traunkirchen},
institution = {Internationale Akademie Traunkirchen}
}