@InProceedings{Navara:FSTA12,
  IS = { zkontrolovano 15 Jan 2013 },
  UPDATE  = { 2012-12-27 },
  author =      {Navara, Mirko},
  title =       {Computation in orthomodular lattices},
  year =        {2012},
  pages =       {12--13},
  booktitle =   {FSTA12: Eleventh International Conference on Fuzzy Set Theory and Applications},
  editor =      {E.P.~Klement, R.~Mesiar, P.~Struk, E.~Drobn{\'a}},
  publisher =   {Academy of Armed Forces of General M.R.~{\v S}tef{\'a}nik},
  address =     {Liptovsk{\'y} Mikul{\'a}{\v s}, Slovakia},
  isbn =        {978-80-8040-438-3},
  book_pages =  {108},
  month =       {January--February},
  day =         {30--3},
  venue =       {Academy of Armed Forces of General M.R.~{\v S}tef{\'a}nik, Liptovsk{\'y} Mikul{\'a}{\v s}, Slovakia},
  organization ={Faculty of Civil Engineering, Slovak University of Technology in Bratislava, Slovakia},
  annote =      {We summarize the capability of present software tools
    for computation in orthomodular lattices.},
  keywords =    {orthomodular lattice, free algebra, computer algebra},
  importance =  {0},
  note =        {abstract},
  project =     {MSM 6840770038},
  psurl =       {[PDF]},
}