Пожалуйста, войдите в систему, чтобы принять участие в дискуссии (добавить собственные рецензию, или комментарий)
Цитировать эту публикацию
%0 Conference Paper
%1 conf/cpp/KaliszykPU16
%A Kaliszyk, Cezary
%A Pak, Karol
%A Urban, Josef
%B CPP
%D 2016
%E Avigad, Jeremy
%E Chlipala, Adam
%I ACM
%K dblp
%P 58-65
%T Towards a mizar environment for isabelle: foundations and language.
%U http://dblp.uni-trier.de/db/conf/cpp/cpp2016.html#KaliszykPU16
%@ 978-1-4503-4127-1
@inproceedings{conf/cpp/KaliszykPU16,
added-at = {2022-03-16T00:00:00.000+0100},
author = {Kaliszyk, Cezary and Pak, Karol and Urban, Josef},
biburl = {https://www.bibsonomy.org/bibtex/24d889e329148451884b75b01d4bee949/dblp},
booktitle = {CPP},
crossref = {conf/cpp/2016},
editor = {Avigad, Jeremy and Chlipala, Adam},
ee = {https://www.wikidata.org/entity/Q108482143},
interhash = {e8fc8d506a50b7976682e576da75e891},
intrahash = {4d889e329148451884b75b01d4bee949},
isbn = {978-1-4503-4127-1},
keywords = {dblp},
pages = {58-65},
publisher = {ACM},
timestamp = {2024-04-10T16:45:56.000+0200},
title = {Towards a mizar environment for isabelle: foundations and language.},
url = {http://dblp.uni-trier.de/db/conf/cpp/cpp2016.html#KaliszykPU16},
year = 2016
}