Bitte melden Sie sich an um selbst Rezensionen oder Kommentare zu erstellen.
Zitieren Sie diese Publikation
Mehr Zitationsstile
- bitte auswählen -
%0 Conference Paper
%1 conf/wollic/VolpeMC12
%A Volpe, Marco
%A Marcos, João
%A Caleiro, Carlos
%B WoLLIC
%D 2012
%E Ong, C.-H. Luke
%E de Queiroz, Ruy J. G. B.
%I Springer
%K dblp
%P 321-335
%T Classic-Like Cut-Based Tableau Systems for Finite-Valued Logics.
%U http://dblp.uni-trier.de/db/conf/wollic/wollic2012.html#VolpeMC12
%V 7456
%@ 978-3-642-32620-2
@inproceedings{conf/wollic/VolpeMC12,
added-at = {2024-10-06T00:00:00.000+0200},
author = {Volpe, Marco and Marcos, João and Caleiro, Carlos},
biburl = {https://www.bibsonomy.org/bibtex/253fd80163c3fa261d1264876982d273b/dblp},
booktitle = {WoLLIC},
crossref = {conf/wollic/2012},
editor = {Ong, C.-H. Luke and de Queiroz, Ruy J. G. B.},
ee = {https://www.wikidata.org/entity/Q61593313},
interhash = {6fd3e0b85510d7ccf36ec0c867d9a2bb},
intrahash = {53fd80163c3fa261d1264876982d273b},
isbn = {978-3-642-32620-2},
keywords = {dblp},
pages = {321-335},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
timestamp = {2024-10-07T10:09:50.000+0200},
title = {Classic-Like Cut-Based Tableau Systems for Finite-Valued Logics.},
url = {http://dblp.uni-trier.de/db/conf/wollic/wollic2012.html#VolpeMC12},
volume = 7456,
year = 2012
}
