@INPROCEEDINGS{HamouzNavaraACA98A, IS = { zkontrolovano, fiktivni strany, 26 Nov 99 }, MYNOTE = { S1998, A1998, P1998 }, IS = {neni uveden vydavatel 09 Jan 99; elektronicky sbornik}, AUTHOR = {Hamouz, Miroslav and Navara, Mirko}, TITLE = {Computer algebra systems as a tool for computer proofs in quantum logic theory}, BOOKTITLE = {Proc. Conf. Appl. Computer Algebra '98}, YEAR = {1998}, MONTH = {August}, day = {9--11}, ORGANIZATION = {Int. Assoc. for Mathematics and Computers in Simulation}, PUBLISHER = { Faculty of Nuclear Sciences and Physical Engineering, Czech Technical University }, ADDRESS = {Praha, Czech Republic}, book_pages = {187}, isbn = {none}, venue = {Czech Technical University, Praha, Czech Republic}, psurl = {}, }