Beiträge in Tagungsbänden:
L. Kovacs, N. Sharygina, S. Rollini:
"A Parametric Interpolation Framework for First-Order Theories.";
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 (Hrg.);
Springer LNCS 8265,
2013,
ISBN: 978-3-642-45113-3,
S. 24
- 40.
"Offizielle" elektronische Version der Publikation (entsprechend ihrem Digital Object Identifier - DOI)
http://dx.doi.org/10.1007/978-3-642-45114-0_3
Elektronische Version der Publikation:
http://publik.tuwien.ac.at/files/PubDat_225981.pdf
Erstellt aus der Publikationsdatenbank der Technischen Universität Wien.