%0 Conference Paper %1 conf/mkm/Naumowicz14 %A Naumowicz, Adam %B CICM %D 2014 %E Watt, Stephen M. %E Davenport, James H. %E Sexton, Alan P. %E Sojka, Petr %E Urban, Josef %I Springer %K dblp %P 449-452 %T SAT-Enhanced Mizar Proof Checking. %U http://dblp.uni-trier.de/db/conf/mkm/cicm2014.html#Naumowicz14 %V 8543 %@ 978-3-319-08433-6

@inproceedings{conf/mkm/Naumowicz14, added-at = {2019-09-25T00:00:00.000+0200}, author = {Naumowicz, Adam}, biburl = {https://www.bibsonomy.org/bibtex/2bcf89325b87b11105c43fa7905687e8c/dblp}, booktitle = {CICM}, crossref = {conf/mkm/2014}, editor = {Watt, Stephen M. and Davenport, James H. and Sexton, Alan P. and Sojka, Petr and Urban, Josef}, ee = {https://doi.org/10.1007/978-3-319-08434-3_37}, interhash = {5c220db96f7328d78ef4d7b742d49ec2}, intrahash = {bcf89325b87b11105c43fa7905687e8c}, isbn = {978-3-319-08433-6}, keywords = {dblp}, pages = {449-452}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T02:44:34.000+0200}, title = {SAT-Enhanced Mizar Proof Checking.}, url = {http://dblp.uni-trier.de/db/conf/mkm/cicm2014.html#Naumowicz14}, volume = 8543, year = 2014 }