%0 Journal Article %1 journals/ki/Giesl10a %A Giesl, Jürgen %D 2010 %J Künstliche Intell. %K dblp %N 1 %P 11-13 %T Current Trends in Automated Deduction. %U http://dblp.uni-trier.de/db/journals/ki/ki24.html#Giesl10a %V 24

@article{journals/ki/Giesl10a, added-at = {2020-07-14T00:00:00.000+0200}, author = {Giesl, Jürgen}, biburl = {https://www.bibsonomy.org/bibtex/2e103927412a289e3d6540cd82a27c1b8/dblp}, ee = {https://doi.org/10.1007/s13218-010-0011-9}, interhash = {acb6db38a9167747f6bc083546d472cc}, intrahash = {e103927412a289e3d6540cd82a27c1b8}, journal = {Künstliche Intell.}, keywords = {dblp}, number = 1, pages = {11-13}, timestamp = {2020-07-24T00:09:21.000+0200}, title = {Current Trends in Automated Deduction.}, url = {http://dblp.uni-trier.de/db/journals/ki/ki24.html#Giesl10a}, volume = 24, year = 2010 }