%0 Conference Paper %1 conf/cade/Scott96 %A Scott, Dana S. %B CADE %D 1996 %E McRobbie, Michael A. %E Slaney, John K. %I Springer %K dblp %P 245 %T What Can We Hope to Achieve From Automated Deduction? (Abstract). %U http://dblp.uni-trier.de/db/conf/cade/cade96.html#Scott96 %V 1104 %@ 3-540-61511-3

@inproceedings{conf/cade/Scott96, added-at = {2017-05-21T00:00:00.000+0200}, author = {Scott, Dana S.}, biburl = {https://www.bibsonomy.org/bibtex/2e60a1879a9f42a20213d1ee15e2fbdf5/dblp}, booktitle = {CADE}, crossref = {conf/cade/1996}, editor = {McRobbie, Michael A. and Slaney, John K.}, ee = {https://doi.org/10.1007/3-540-61511-3_88}, interhash = {2ee15d767f44e29e50d38e9fb29273fd}, intrahash = {e60a1879a9f42a20213d1ee15e2fbdf5}, isbn = {3-540-61511-3}, keywords = {dblp}, pages = 245, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T18:56:30.000+0200}, title = {What Can We Hope to Achieve From Automated Deduction? (Abstract).}, url = {http://dblp.uni-trier.de/db/conf/cade/cade96.html#Scott96}, volume = 1104, year = 1996 }