%0 Conference Paper %1 conf/micai/KovacsMV13 %A Kovács, Laura %A Mantsivoda, Andrei %A Voronkov, Andrei %B MICAI (1) %D 2013 %E Castro-Espinoza, Félix %E Gelbukh, Alexander F. %E González-Mendoza, Miguel %I Springer %K dblp %P 12-23 %T The Inverse Method for Many-Valued Logics. %U http://dblp.uni-trier.de/db/conf/micai/micai2013-1.html#KovacsMV13 %V 8265 %@ 978-3-642-45113-3

@inproceedings{conf/micai/KovacsMV13, added-at = {2022-10-02T00:00:00.000+0200}, author = {Kovács, Laura and Mantsivoda, Andrei and Voronkov, Andrei}, biburl = {https://www.bibsonomy.org/bibtex/2230be7caff59eec3ce88f9361dd2b67d/dblp}, booktitle = {MICAI (1)}, crossref = {conf/micai/2013-1}, editor = {Castro-Espinoza, Félix and Gelbukh, Alexander F. and González-Mendoza, Miguel}, ee = {https://doi.org/10.1007/978-3-642-45114-0_2}, interhash = {542b2abf5d8b7ab47f325e4e96356b32}, intrahash = {230be7caff59eec3ce88f9361dd2b67d}, isbn = {978-3-642-45113-3}, keywords = {dblp}, pages = {12-23}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T14:31:11.000+0200}, title = {The Inverse Method for Many-Valued Logics.}, url = {http://dblp.uni-trier.de/db/conf/micai/micai2013-1.html#KovacsMV13}, volume = 8265, year = 2013 }