![[höher]](/style/images/multi_up.png)
Eine Ebene höherGruppiert nach: Dokumententyp |
Veröffentlichungsdatum
Springe zu: 2023
Anzahl der Publikationen: 1
2023
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]
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]