The Inverse Method for Many-Valued Logics (bibtex)
by Laura Kovács, Andrei Mantsivoda, Andrei Voronkov
Reference:
The Inverse Method for Many-Valued LogicsLaura Kovács, Andrei Mantsivoda, Andrei VoronkovProceedings of the 12th Mexican International Conference on Artificial Intelligence - Advances in Artificial Intelligence and Its Applications (MICAI), pages 12-23, 2013.
Bibtex Entry:
@inproceedings{KovacsMICAI13a,
title = {The Inverse Method for Many-Valued Logics},
ee = {http://dx.doi.org/10.1007/978-3-642-45114-0_2},
booktitle = {Proceedings of the 12th Mexican International Conference on Artificial
Intelligence - Advances in Artificial Intelligence and Its Applications
(MICAI)},
author = {Laura Kov{\'a}cs and Andrei Mantsivoda and Andrei Voronkov},
url = {/pubpdf/The_Inverse_Method_for_Many-Valued_Logics.pdf},
year = {2013},
bibsource = {DBLP, http://dblp.uni-trier.de},
pages = {12-23},
crossref = {DBLP:conf/micai/2013-1},
}
Powered by bibtexbrowser