The Inverse Method for Many-Valued Logics

Laura Kovács; Andrei Mantsivoda; Andrei Voronkov

doi:10.1007/978-3-642-45114-0_2

The Inverse Method for Many-Valued Logics

Laura Kovács
, Andrei Mantsivoda
, Andrei Voronkov

Research output: Chapter in Book/Conference proceeding › Conference contribution › peer-review

Original language	English
Title of host publication	Advances in Artificial Intelligence and Its Applications - 12th Mexican International Conference on Artificial Intelligence, MICAI 2013, Mexico City, Mexico, November 24-30, 2013, Proceedings, Part I
Pages	12-23
Number of pages	12
DOIs	https://doi.org/10.1007/978-3-642-45114-0_2
Publication status	Published - 2013

Access to Document

10.1007/978-3-642-45114-0_2

Cite this

@inproceedings{a820ae9ee5de4d80b950d0f9df5da624,

title = "The Inverse Method for Many-Valued Logics",

author = "Laura Kov{\'a}cs and Andrei Mantsivoda and Andrei Voronkov",

year = "2013",

doi = "10.1007/978-3-642-45114-0\_2",

language = "English",

pages = "12--23",

booktitle = "Advances in Artificial Intelligence and Its Applications - 12th Mexican International Conference on Artificial Intelligence, MICAI 2013, Mexico City, Mexico, November 24-30, 2013, Proceedings, Part I",

}

The Inverse Method for Many-Valued Logics. / Kovács, Laura; Mantsivoda, Andrei; Voronkov, Andrei.
Advances in Artificial Intelligence and Its Applications - 12th Mexican International Conference on Artificial Intelligence, MICAI 2013, Mexico City, Mexico, November 24-30, 2013, Proceedings, Part I. 2013. p. 12-23.

Research output: Chapter in Book/Conference proceeding › Conference contribution › peer-review

TY - GEN

T1 - The Inverse Method for Many-Valued Logics

AU - Kovács, Laura

AU - Mantsivoda, Andrei

AU - Voronkov, Andrei

PY - 2013

Y1 - 2013

U2 - 10.1007/978-3-642-45114-0_2

DO - 10.1007/978-3-642-45114-0_2

M3 - Conference contribution

SP - 12

EP - 23

BT - Advances in Artificial Intelligence and Its Applications - 12th Mexican International Conference on Artificial Intelligence, MICAI 2013, Mexico City, Mexico, November 24-30, 2013, Proceedings, Part I

ER -