Vorträge und Posterpräsentationen (mit Tagungsband-Eintrag):
M. Janota, M. Suda:
"Towards Smarter MACE-style Model Finders";
Vortrag: 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR),
Awassa, Ethiopia;
16.11.2018
- 21.11.2018; in: "LPAR-22. 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning, Awassa, Ethiopia, 16-21 November 2018.",
EasyChair EPiC Series in Computing,
57
(2018),
S. 454
- 470.
"Offizielle" elektronische Version der Publikation (entsprechend ihrem Digital Object Identifier - DOI)
http://dx.doi.org/10.29007/w42s
Elektronische Version der Publikation:
https://publik.tuwien.ac.at/files/publik_277425.pdf
Erstellt aus der Publikationsdatenbank der Technischen Universität Wien.