%0 Journal Article %1 journals/ai/DavisM16 %A Davis, Ernest %A Marcus, Gary %D 2016 %J Artif. Intell. %K dblp %P 60-72 %T The scope and limits of simulation in automated reasoning. %U http://dblp.uni-trier.de/db/journals/ai/ai233.html#DavisM16 %V 233

@article{journals/ai/DavisM16, added-at = {2023-04-13T00:00:00.000+0200}, author = {Davis, Ernest and Marcus, Gary}, biburl = {https://www.bibsonomy.org/bibtex/2856cbbcd3873a788ed11d1495607c63a/dblp}, ee = {https://doi.org/10.1016/j.artint.2015.12.003}, interhash = {cea444a577b60dbc68d194a9c560f43a}, intrahash = {856cbbcd3873a788ed11d1495607c63a}, journal = {Artif. Intell.}, keywords = {dblp}, pages = {60-72}, timestamp = {2024-04-08T17:20:35.000+0200}, title = {The scope and limits of simulation in automated reasoning.}, url = {http://dblp.uni-trier.de/db/journals/ai/ai233.html#DavisM16}, volume = 233, year = 2016 }