%0 Journal Article %1 journals/jar/BancerekR02 %A Bancerek, Grzegorz %A Rudnicki, Piotr %D 2002 %J J. Autom. Reason. %K dblp %N 3-4 %P 189-224 %T A Compendium of Continuous Lattices in MIZAR. %U http://dblp.uni-trier.de/db/journals/jar/jar29.html#BancerekR02 %V 29

@article{journals/jar/BancerekR02, added-at = {2020-09-02T00:00:00.000+0200}, author = {Bancerek, Grzegorz and Rudnicki, Piotr}, biburl = {https://www.bibsonomy.org/bibtex/262bb2896f86d7618df6cf47587beb4a3/dblp}, ee = {https://doi.org/10.1023/A:1021966832558}, interhash = {1fb0c991722d4d6199b356cb3405f1ab}, intrahash = {62bb2896f86d7618df6cf47587beb4a3}, journal = {J. Autom. Reason.}, keywords = {dblp}, number = {3-4}, pages = {189-224}, timestamp = {2020-09-09T13:34:51.000+0200}, title = {A Compendium of Continuous Lattices in MIZAR.}, url = {http://dblp.uni-trier.de/db/journals/jar/jar29.html#BancerekR02}, volume = 29, year = 2002 }