Quantifier Elimination in Fuzzy Logic (bibtex)
by Matthias Baaz, Helmut Veith
Reference:
Quantifier Elimination in Fuzzy LogicMatthias Baaz, Helmut VeithComputer Science Logic, 12th International Workshop, CSL '98, Annual Conference of the EACSL, Brno, Czech Republic, August 24-28, 1998, Proceedings (Georg Gottlob, Etienne Grandjean, Katrin Seyr, eds.), pages 399-414, 1998, Springer.
Bibtex Entry:
@inproceedings{DBLP:conf/csl/BaazV98,
  author = {Matthias Baaz and Helmut Veith},
  title = {Quantifier Elimination in Fuzzy Logic},
  year = {1998},
  booktitle = {Computer Science Logic, 12th International Workshop, CSL '98,   Annual Conference of the EACSL, Brno, Czech Republic, August 24-28, 1998,   Proceedings},
  editor = {Georg Gottlob and Etienne Grandjean and Katrin Seyr},
  pages = {399--414},
  publisher = {Springer},
  isbn = {3-540-65922-6}
}
Powered by bibtexbrowser