@MastersThesis{Bruzkova:MSc,
  IS = { zkontrolovano 26 Jan 2006 },
  UPDATE  = { 2006-01-26 },
  author =      {Irena Br{\accent23 u}{\v z}kov{\' a}},
  language =    {Czech},
  title =       {Automatick{\' e} dokazov{\' a}n{\' \i} v{\v e}t ve 
                 fuzzy logice},
  e-title =     {Automatic Theorem Proving in Fuzzy Logic},
  year =        {2005},
  pages =       {65},
  school =      {Czech Technical University, 
                 Faculty of Electrical Engineering, 
                 Department of Cybernetics},
  address =     {Prague, Czech Republic},
  month =       {June},
  day =         {13},
  figures =     {23},
  appendices =  {10},
  annote = { Pr{\' a}ce prezentuje program, kter{\' y} pro danou
    logickou formuli zjist{\' \i}, zda je to tautologie dan{\' e}
    fuzzy logiky (G{\" o}delovy, {\L}ukasiewiczovy, nebo sou{\v
    c}inov{\' e}). },
  e-annote = { The thesis presents a program which allows to test
    whether a logical formula is a tautology in a given fuzzy logic
    (G{\" o}del, {\L}ukasiewicz, or product). },
  supervisor =  {Mirko Navara},
  keywords =    {fuzzy logic, many-valued logic, tautology, semantics},
  project =     {GACR 201/02/1540},
  www =         {http://cmp.felk.cvut.cz/~navara/tautologies},
}