BibTeX record conf/aisc/LaitaLRB00

• > Home > conf/aisc/LaitaLRB00

@inproceedings{DBLP:conf/aisc/LaitaLRB00,
  author       = {Luis M. Laita and
                  Luis de Ledesma and
                  Eugenio Roanes{-}Lozano and
                  Alberto Brunori},
  editor       = {John A. Campbell and
                  Eugenio Roanes{-}Lozano},
  title        = {George Boole, a Forerunner of Symbolic Computation},
  booktitle    = {Artificial Intelligence and Symbolic Computation, International Conference
                  {AISC} 2000 Madrid, Spain, July 17-19, 2000, Revised Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {1930},
  pages        = {1--19},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/3-540-44990-6\_1},
  doi          = {10.1007/3-540-44990-6\_1},
  timestamp    = {Tue, 14 May 2019 10:00:52 +0200},
  biburl       = {https://dblp.org/rec/conf/aisc/LaitaLRB00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}