BibTeX record conf/iberamia/FerreiraM06

download as .bib file

@inproceedings{DBLP:conf/iberamia/FerreiraM06,
  author    = {Francicleber Martins Ferreira and
               Ana Teresa C. Martins},
  editor    = {Jaime Sim{\~{a}}o Sichman and
               Helder Coelho and
               Solange Oliveira Rezende},
  title     = {The Predicate-Minimizing Logic {MIN}},
  booktitle = {Advances in Artificial Intelligence - {IBERAMIA-SBIA} 2006, 2nd International
               Joint Conference, 10th Ibero-American Conference on AI, 18th Brazilian
               {AI} Symposium, Ribeir{\~{a}}o Preto, Brazil, October 23-27, 2006,
               Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {4140},
  pages     = {582--591},
  publisher = {Springer},
  year      = {2006},
  url       = {https://doi.org/10.1007/11874850\_62},
  doi       = {10.1007/11874850\_62},
  timestamp = {Sun, 02 Jun 2019 21:17:03 +0200},
  biburl    = {https://dblp.org/rec/conf/iberamia/FerreiraM06.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics