Пожалуйста, войдите в систему, чтобы принять участие в дискуссии (добавить собственные рецензию, или комментарий)
Цитировать эту публикацию
%0 Journal Article
%1 journals/jar/BezemH08
%A Bezem, Marc
%A Hendriks, Dimitri
%D 2008
%J J. Autom. Reason.
%K dblp
%N 1
%P 61-85
%T On the Mechanization of the Proof of Hessenberg's Theorem in Coherent Logic.
%U http://dblp.uni-trier.de/db/journals/jar/jar40.html#BezemH08
%V 40
@article{journals/jar/BezemH08,
added-at = {2020-09-02T00:00:00.000+0200},
author = {Bezem, Marc and Hendriks, Dimitri},
biburl = {https://www.bibsonomy.org/bibtex/25216569a765cdd3ef49ef6a92d713495/dblp},
ee = {https://doi.org/10.1007/s10817-007-9086-x},
interhash = {5c1424a98adb2af561394ab301e1c87e},
intrahash = {5216569a765cdd3ef49ef6a92d713495},
journal = {J. Autom. Reason.},
keywords = {dblp},
number = 1,
pages = {61-85},
timestamp = {2020-09-09T13:34:28.000+0200},
title = {On the Mechanization of the Proof of Hessenberg's Theorem in Coherent Logic.},
url = {http://dblp.uni-trier.de/db/journals/jar/jar40.html#BezemH08},
volume = 40,
year = 2008
}