RecioB04'

BibTeX

@inproceedings{DBLP:conf/iccsa/RecioB04,
  author    = {Tom{\'a}s Recio and
               Francisco Botana},
  title     = {Where the Truth Lies (in Automatic Theorem Proving in Elementary
               Geometry)},
  booktitle = {ICCSA (2)},
  year      = {2004},
  pages     = {761-770},
  ee        = {http://springerlink.metapress.com/openurl.asp?genre=article{\&}issn=0302-9743{\&}volume=3044{\&}spage=761},
  crossref  = {DBLP:conf/iccsa/2004-2},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/iccsa/2004-2,
  editor    = {Antonio Lagan{\`a} and
               Marina L. Gavrilova and
               Vipin Kumar and
               Youngsong Mun and
               Chih Jeng Kenneth Tan and
               Osvaldo Gervasi},
  title     = {Computational Science and Its Applications - ICCSA 2004,
               International Conference, Assisi, Italy, May 14-17, 2004,
               Proceedings, Part II},
  booktitle = {ICCSA (2)},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {3044},
  year      = {2004},
  isbn      = {3-540-22056-9},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}