Пожалуйста, войдите в систему, чтобы принять участие в дискуссии (добавить собственные рецензию, или комментарий)
Цитировать эту публикацию
%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
}