Vorträge und Posterpräsentationen (mit Tagungsband-Eintrag):
B. Gleiss, L. Kovacs, J. Rath:
"Subsumption Demodulation in First-Order Theorem Proving";
Vortrag: 10th International Joint Conference on Automated Reasoning (IJCAR),
Paris;
01.07.2020
- 04.07.2020; in: "Proceedings of the 10th International Joint Conference on Automated Reasoning (IJCAR)",
N. Peltier, V. Sofronie-Stokkermans (Hrg.);
Lecture Notes in Computer Science, Springer,
12166
(2020),
ISBN: 978-3-030-51073-2;
S. 297
- 315.
"Offizielle" elektronische Version der Publikation (entsprechend ihrem Digital Object Identifier - DOI)
http://dx.doi.org/10.1007/978-3-030-51074-9_17
Elektronische Version der Publikation:
https://publik.tuwien.ac.at/files/publik_293896.pdf
Erstellt aus der Publikationsdatenbank der Technischen Universität Wien.