BibTeX record conf/fapr/Oliveira96

download as .bib file

@inproceedings{DBLP:conf/fapr/Oliveira96,
  author       = {Claudia M. G. M. Oliveira},
  editor       = {Dov M. Gabbay and
                  Hans J{\"{u}}rgen Ohlbach},
  title        = {The Implementation of {LENA}},
  booktitle    = {Practical Reasoning, International Conference on Formal and Applied
                  Practical Reasoning, {FAPR} '96, Bonn, Germany, June 3-7, 1996, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1085},
  pages        = {710--712},
  publisher    = {Springer},
  year         = {1996},
  url          = {https://doi.org/10.1007/3-540-61313-7\_114},
  doi          = {10.1007/3-540-61313-7\_114},
  timestamp    = {Tue, 14 May 2019 10:00:38 +0200},
  biburl       = {https://dblp.org/rec/conf/fapr/Oliveira96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics