%0 Conference Paper %1 conf/cade/Baumgartner07 %A Baumgartner, Peter %B CADE %D 2007 %E Pfenning, Frank %I Springer %K dblp %P 404-409 %T Logical Engineering with Instance-Based Methods. %U http://dblp.uni-trier.de/db/conf/cade/cade2007.html#Baumgartner07 %V 4603 %@ 978-3-540-73594-6

@inproceedings{conf/cade/Baumgartner07, added-at = {2017-11-12T00:00:00.000+0100}, author = {Baumgartner, Peter}, biburl = {https://www.bibsonomy.org/bibtex/24f07014e7aac8b7593b1165ae1246f86/dblp}, booktitle = {CADE}, crossref = {conf/cade/2007}, editor = {Pfenning, Frank}, ee = {https://doi.org/10.1007/978-3-540-73595-3_30}, interhash = {ecb0d7f142454464dffe9856d7e0f559}, intrahash = {4f07014e7aac8b7593b1165ae1246f86}, isbn = {978-3-540-73594-6}, keywords = {dblp}, pages = {404-409}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T18:56:02.000+0200}, title = {Logical Engineering with Instance-Based Methods.}, url = {http://dblp.uni-trier.de/db/conf/cade/cade2007.html#Baumgartner07}, volume = 4603, year = 2007 }