Overview   Tree   Index 
Bibliography
   FRAMES  NO FRAME 

[BV1999c]  Quantifier Elimination in Fuzzy Logic

BaazVeith99CSL (In proceedings)
Author(s)Baaz M. and Veith H.
Title"Quantifier Elimination in Fuzzy Logic"
Date1999
InProc. of the CSL'98
SeriesLNCS 1584
Page(s)399--414
PublisherSpringer

BibTeX code

@inproceedings{BaazVeith99CSL,
  publisher = {Springer},
  title = {Quantifier Elimination in Fuzzy Logic},
  author = {Baaz, M. and Veith, H.},
  year = {1999},
  booktitle = {Proc. of the CSL'98},
  pages = {399--414},
  series = {LNCS˜1584},
}

 Overview   Tree   Index 
Bibliography
   FRAMES  NO FRAME 

Submit a bug

This document was generated by bib2html 1.2.
Copyright © 1998-04 Stéphane GALLAND (under the GNU General Public License)