%0 Journal Article %1 journals/ki/Richter92 %A Richter, Michael M. %D 1992 %J Künstliche Intell. %K dblp %N 3 %P 49-50 %T Geschichte der Tagungen über automatische Beweisverfahren. %U http://dblp.uni-trier.de/db/journals/ki/ki6.html#Richter92 %V 6

@article{journals/ki/Richter92, added-at = {2020-07-14T00:00:00.000+0200}, author = {Richter, Michael M.}, biburl = {https://www.bibsonomy.org/bibtex/2c8d41679deb2b4bcc7f0be699e7d3a30/dblp}, interhash = {77ea6af5320d009f8310e5d62ea0e735}, intrahash = {c8d41679deb2b4bcc7f0be699e7d3a30}, journal = {Künstliche Intell.}, keywords = {dblp}, number = 3, pages = {49-50}, timestamp = {2020-07-24T00:08:09.000+0200}, title = {Geschichte der Tagungen über automatische Beweisverfahren.}, url = {http://dblp.uni-trier.de/db/journals/ki/ki6.html#Richter92}, volume = 6, year = 1992 }