%0 Journal Article %1 journals/ki/Richter89 %A Richter, Michael M. %D 1989 %J KI %K dblp %N 3 %P 34-37 %T Automatisches Beweisen, Künstliche Intelligenz und Mathematik. %U http://dblp.uni-trier.de/db/journals/ki/ki3.html#Richter89 %V 3

@article{journals/ki/Richter89, added-at = {2002-01-03T00:00:00.000+0100}, author = {Richter, Michael M.}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2a010372d9663a0dbcc77c2183d2e0548/dblp}, interhash = {34767c347eb5c9c1bb412ea222531a91}, intrahash = {a010372d9663a0dbcc77c2183d2e0548}, journal = {KI}, keywords = {dblp}, number = 3, pages = {34-37}, timestamp = {2016-02-02T09:11:13.000+0100}, title = {Automatisches Beweisen, Künstliche Intelligenz und Mathematik.}, url = {http://dblp.uni-trier.de/db/journals/ki/ki3.html#Richter89}, volume = 3, year = 1989 }