%0 Generic %1 stanford_encyc06:autom_reason %A Stanford Encyclopedia of Philosophy, %D 2006 %K kr logic %T Automated Reasoning

@misc{stanford_encyc06:autom_reason, added-at = {2007-09-27T20:44:04.000+0200}, author = {{Stanford Encyclopedia of Philosophy}}, biburl = {https://www.bibsonomy.org/bibtex/2c90e3aee687ba3135ca565a10ab437e4/thau}, howpublished = {\url{http://plato.stanford.edu/entries/reasoning-automated}/}, interhash = {a5321eb2015746baa65cc723f6e4561a}, intrahash = {c90e3aee687ba3135ca565a10ab437e4}, keywords = {kr logic}, timestamp = {2007-10-09T17:09:55.000+0200}, title = {Automated Reasoning}, year = 2006 }