BibTeX record: conf/aisc/HerasPRR10

download as .bib file

@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 = {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},
  pages     = {331--335},
  year      = {2010},
  crossref  = {DBLP:conf/aisc/2010},
  url       = {http://dx.doi.org/10.1007/978-3-642-14128-7_28},
  doi       = {10.1007/978-3-642-14128-7_28},
  timestamp = {Mon, 05 Jul 2010 08:29:35 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/aisc/HerasPRR10},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@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},
  series    = {Lecture Notes in Computer Science},
  volume    = {6167},
  publisher = {Springer},
  year      = {2010},
  url       = {http://dx.doi.org/10.1007/978-3-642-14128-7},
  doi       = {10.1007/978-3-642-14128-7},
  isbn      = {978-3-642-14127-0},
  timestamp = {Mon, 05 Jul 2010 08:26:32 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/aisc/2010},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}