%0 Conference Paper %1 conf/aimsa/Wolf98 %A Wolf, Andreas %B AIMSA %D 1998 %E Giunchiglia, Fausto %I Springer %K dblp %P 452-465 %T Strategy Selection for Automated Theorem Proving. %U http://dblp.uni-trier.de/db/conf/aimsa/aimsa1998.html#Wolf98 %V 1480 %@ 3-540-64993-X

@inproceedings{conf/aimsa/Wolf98, added-at = {2017-03-16T00:00:00.000+0100}, author = {Wolf, Andreas}, biburl = {https://www.bibsonomy.org/bibtex/29c8427100466e62d3c65e0ff2ddbb3ad/dblp}, booktitle = {AIMSA}, crossref = {conf/aimsa/1998}, editor = {Giunchiglia, Fausto}, ee = {http://dx.doi.org/10.1007/BFb0057466}, interhash = {038ba35495400d1df6588ec5b99d0638}, intrahash = {9c8427100466e62d3c65e0ff2ddbb3ad}, isbn = {3-540-64993-X}, keywords = {dblp}, pages = {452-465}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2017-03-17T11:37:40.000+0100}, title = {Strategy Selection for Automated Theorem Proving.}, url = {http://dblp.uni-trier.de/db/conf/aimsa/aimsa1998.html#Wolf98}, volume = 1480, year = 1998 }