BibTeX record conf/ijcci/Guller10a

download as .bib file

@inproceedings{DBLP:conf/ijcci/Guller10a,
  author       = {Dusan Guller},
  editor       = {Kurosh Madani and
                  Ant{\'{o}}nio Dourado Correia and
                  Agostinho C. Rosa and
                  Joaquim Filipe},
  title        = {On the Satisfiability and Validity Problems in the Propositional G{\"{o}}del
                  Logic},
  booktitle    = {Computational Intelligence - Revised and Selected Papers of the International
                  Joint Conference, {IJCCI} 2010, Valencia, Spain, October 2010},
  series       = {Studies in Computational Intelligence},
  volume       = {399},
  pages        = {211--227},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-27534-0\_14},
  doi          = {10.1007/978-3-642-27534-0\_14},
  timestamp    = {Sat, 19 Oct 2019 20:21:48 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcci/Guller10a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics