%0 Conference Paper %1 conf/aisc/MartinezKSBASGKGP14 %A Martínez, Maricarmen %A Krumnack, Ulf %A Smaill, Alan %A Besold, Tarek Richard %A Abdel-Fattah, Ahmed M. H. %A Schmidt, Martin %A Gust, Helmar %A Kühnberger, Kai-Uwe %A Guhe, Markus %A Pease, Alison %B AISC %D 2014 %E Aranda-Corral, Gonzalo A. %E Calmet, Jacques %E Martín-Mateos, Francisco J. %I Springer %K dblp %P 180-192 %T Algorithmic Aspects of Theory Blending. %U http://dblp.uni-trier.de/db/conf/aisc/aisc2014.html#MartinezKSBASGKGP14 %V 8884 %@ 978-3-319-13769-8

@inproceedings{conf/aisc/MartinezKSBASGKGP14, added-at = {2019-09-25T00:00:00.000+0200}, author = {Martínez, Maricarmen and Krumnack, Ulf and Smaill, Alan and Besold, Tarek Richard and Abdel-Fattah, Ahmed M. H. and Schmidt, Martin and Gust, Helmar and Kühnberger, Kai-Uwe and Guhe, Markus and Pease, Alison}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2cd3ae2c0e42cc7df8a9a491594d41cb1/dblp}, booktitle = {AISC}, crossref = {conf/aisc/2014}, editor = {Aranda-Corral, Gonzalo A. and Calmet, Jacques and Martín-Mateos, Francisco J.}, ee = {https://doi.org/10.1007/978-3-319-13770-4_16}, interhash = {764bf34b6b99cb8c2d5a2acdb0c11fa2}, intrahash = {cd3ae2c0e42cc7df8a9a491594d41cb1}, isbn = {978-3-319-13769-8}, keywords = {dblp}, pages = {180-192}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-09-27T18:27:02.000+0200}, title = {Algorithmic Aspects of Theory Blending.}, url = {http://dblp.uni-trier.de/db/conf/aisc/aisc2014.html#MartinezKSBASGKGP14}, volume = 8884, year = 2014 }