DBLP BibTeX Record 'conf/aisc/HerasPRR10'

@inproceedings{DBLP:conf/aisc/HerasPRR10,
  author    = {J{\'o}nathan Heras and
               Vico Pascual and
               Ana Romero and
               Julio Rubio},
  title     = {Integrating Multiple Sources to Answer Questions in Algebraic
               Topology},
  booktitle = {AISC/MKM/Calculemus},
  year      = {2010},
  pages     = {331-335},
  ee        = {http://dx.doi.org/10.1007/978-3-642-14128-7_28},
  crossref  = {DBLP:conf/aisc/2010},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/aisc/2010,
  editor    = {Serge Autexier and
               Jacques Calmet and
               David Delahaye and
               Patrick D. F. Ion and
               Laurence Rideau and
               Renaud Rioboo and
               Alan P. Sexton},
  title     = {Intelligent Computer Mathematics, 10th International Conference,
               AISC 2010, 17th Symposium, Calculemus 2010, and 9th International
               Conference, MKM 2010, Paris, France, July 5-10, 2010. Proceedings},
  booktitle = {AISC/MKM/Calculemus},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {6167},
  year      = {2010},
  isbn      = {978-3-642-14127-0},
  ee        = {http://dx.doi.org/10.1007/978-3-642-14128-7},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}