@InProceedings{Navara:AAA05,
  IS = { zkontrolovano 02 Jan 2006 },
  UPDATE  = { 2005-12-14 },
  author =      {Mirko Navara},
  title =       {Computation in orthomodular lattices},
  year =        {2005},
  pages =       {18},
  booktitle =   {AAA70: 70th Workshop on General Algebra},
  publisher =   {TU Wien},
  address =     {Wien, Austria},
  book_pages =  {30},
  month =       {June},
  day =         {15-18},
  venue =       {Vienna, Austria},
  organization ={Technical University of Vienna},
  annote = {We discuss the possibilities and limitations of the use of
    computer algebra in orthomodular lattices.},
  keywords =    {Quantum logic, computer algebra, orthomodular lattice},
  prestige =    {international},
  importance =  {0},
  authorship =  {100},
}