author = {B. Buchberger},
title = {{Automatisches Beweisen und Kuenstliche Intelligenz (Automated Theorem Proving and Artificial Intelligence)}},
language = {german},
year = {1979},
month = {September 18-20},
annote = {1979-09-18-B},
note = {Contributed talk at Workshop on Cryptographical Methods, Institute of System Sciences, University of Linz, Austria},
conferencename = {Workshop on Cryptographical Methods, Institute of System Sciences, University of Linz, Austria}