Anzahl der Publikationen: 1
Konferenzbeitrag
Nummelin, Visa ORCID: https://orcid.org/0000-0001-7049-6847; Blanchette, Jasmin ORCID: https://orcid.org/0000-0002-8367-0936 und Dahmen, Sander R. ORCID: https://orcid.org/0000-0002-0014-0789
(2023):
Recurrence-Driven Summations in Automated Deduction.
14th International Symposium, FroCoS 2023, Prague, Czech Republic, September 20–22, 2023.
Sattler, Uli und Suda, Martin (Hrsg.):
In: Frontiers of Combining Systems : 14th International Symposium, FroCoS 2023 Prague, Czech Republic, September 20–22, 2023 Proceedings,
Bd. 14279
Cham: Springer. S. 23-40
[PDF, 328kB]
Diese Liste wurde am
Sat Dec 21 18:36:22 2024 CET
erstellt.