@InProceedings{HyckoNavara:QS04,
  IS = { zkontrolovano 13 Jan 2005 },
  UPDATE  = { 2004-11-27 },
  author =      {Hy{\v c}ko, Marek and Navara, Mirko},
  title =       {The role of computers in studies of quantum structures},
  year =        {2004},
  pages =       {25--25},
  booktitle =   {Quantum Structures 2004},
  editor =      {J. Harding},
  publisher =   {New Mexico State University},
  address =     {Las Cruces, New Mexico, USA},
  isbn =        {none},
  book_pages =  {67},
  month =       {July},
  day =         {17-22},
  venue =       {Denver, Colorado, USA},
  organization ={University of Denver},
  annote = {While computers influenced the development in many
    branches of research, their impact in studies of quantum
    structures seems not to be very large. Nevertheless, there are
    results which were made possible by the use of modern computer
    techniques. We present an overview of some of them.},
  keywords =    {Computer algebra systems, MV-algebra, orthomodular lattice, tautology},
  prestige =    {important},
  importance =  {1},
  authorship =  {50-50},
  project =     {GACR 201/03/0455},
}