author = {Buchberger},
title = {{Keynote: Inside Insight: Artificial Intelligence and Automated Reasoning}},
language = {english},
year = {2018},
month = {March 20},
note = {Invited talk at Inside Summit: Artificial Intelligence, Wien},
conferencename = {Inside Summit: Artificial Intelligence, Wien}