Contributions to Proceedings:

L. Kovacs, A. Mantsivoda, A. Voronkov:
"The Inverse Method for Many-Valued Logics";
in: "Proceedings of the 12th Mexican International Conference on Artificial Intelligence - Advances in Artificial Intelligence and Its Applications (MICAI)", F. Castro, A. Gelbukh, M. Gonzalez (ed.); Springer LNCS 8265, 2013, ISBN: 978-3-642-45113-3, 12 - 23.

"Official" electronic version of the publication (accessed through its Digital Object Identifier - DOI)

Electronic version of the publication:

Created from the Publication Database of the Vienna University of Technology.