Пожалуйста, войдите в систему, чтобы принять участие в дискуссии (добавить собственные рецензию, или комментарий)
Цитировать эту публикацию
%0 Conference Paper
%1 conf/ismvl/BaazFZ93
%A Baaz, Matthias
%A Fermüller, Christian G.
%A Zach, Richard
%B ISMVL
%D 1993
%I IEEE Computer Society
%K dblp
%P 208-213
%T Systematic Construction of Natural Deduction Systems for Many-Valued Logics.
%U http://dblp.uni-trier.de/db/conf/ismvl/ismvl1993.html#BaazFZ93
%@ 0-8186-3350-6
@inproceedings{conf/ismvl/BaazFZ93,
added-at = {2023-03-23T00:00:00.000+0100},
author = {Baaz, Matthias and Fermüller, Christian G. and Zach, Richard},
biburl = {https://www.bibsonomy.org/bibtex/2165c137c471772c2c9c8b821c299ee9d/dblp},
booktitle = {ISMVL},
crossref = {conf/ismvl/1993},
ee = {https://doi.ieeecomputersociety.org/10.1109/ISMVL.1993.289558},
interhash = {eccf9f8f4a2d27caee21878fa9f6458d},
intrahash = {165c137c471772c2c9c8b821c299ee9d},
isbn = {0-8186-3350-6},
keywords = {dblp},
pages = {208-213},
publisher = {IEEE Computer Society},
timestamp = {2024-04-10T15:36:51.000+0200},
title = {Systematic Construction of Natural Deduction Systems for Many-Valued Logics.},
url = {http://dblp.uni-trier.de/db/conf/ismvl/ismvl1993.html#BaazFZ93},
year = 1993
}