@INPROCEEDINGS{HamouzNavaraACA98, IS = { zkontrolovano 26 Nov 99 }, MYNOTE = { S1998, A1998, }, IS = {neuveden vydavatel, vyslo vubec? 09 Jan 99; elektronicky sbornik}, AUTHOR = {Hamouz, Miroslav and Navara, Mirko}, TITLE = {Computer algebra systems as a tool for mathematical proofs in quantum logics}, BOOKTITLE = {Proc. Conf. Appl. Computer Algebra '98}, ADDRESS = {Praha, Czech Republic}, YEAR = {1998}, MONTH = {August}, ORGANIZATION = {Int. Assoc. for Mathematics and Computers in Simulation}, venue = {Czech Technical University, Praha, Czech Republic}, importance = {1}, psurl = {[PostScript, 55k]}, isbn = {none}, EDITOR = { R.~Liska }, PUBLISHER = { Faculty of Nuclear Sciences and Physical Engineering, Czech Technical University }, PAGES = { 1--7 }, www = { Mirror CTU Prague, Mirror UNM, Albuquerque }, }