@INPROCEEDINGS{Navara:FSTA02,
  IS = { zkontrolovano 06 Jan 2003 },
  UPDATE  = { 2002-12-12 },
       AUTHOR = {Navara, Mirko},
        TITLE = {Computer algebraic systems in proofs and 
                 visualization of results related to {G}leason's {T}heorem},
       EDITOR = {Klement, E.P. and Mesiar, R. and  Drobn{\'a}, E. and  Chovanec, F.},
    BOOKTITLE = {Abstracts of the 6th International Conference on 
                 Fuzzy Sets Theory and Applications},
    PUBLISHER = {Military Academy},
      ADDRESS = {Liptovsk\'y Mikul\'a{\v s}, Slovakia},
         YEAR = {2002},
        MONTH = {January},
  day =         {28-31},
        PAGES = {95--96},
  isbn =        {},
  book_pages =  {139},
  venue =       {Liptovsk{\'y} J{\'a}n, Slovakia},
  importance =  {0},
  project =     {MSM 212300013, GACR 201/00/0331, CTU 300114413},
  psurl =       {[
PostScript]},
}