Logo Logo
[höher] Eine Ebene höher
Exportieren als [RSS feed] RSS 1.0 [RSS2 feed] RSS 2.0
Gruppiert nach: Dokumententyp | Veröffentlichungsdatum
Springe zu: Konferenzbeitrag
Anzahl der Publikationen: 2

Konferenzbeitrag

Nummelin, Visa ORCID logoORCID: https://orcid.org/0000-0001-7049-6847; Blanchette, Jasmin ORCID logoORCID: https://orcid.org/0000-0002-8367-0936 und Dahmen, Sander R. ORCID logoORCID: 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]

Blanchette, Jasmin ORCID logoORCID: https://orcid.org/0000-0002-8367-0936; Qiu, Qi ORCID logoORCID: https://orcid.org/0000-0002-8350-2748 und Tourret, Sophie ORCID logoORCID: https://orcid.org/0000-0002-6070-796X (2023): Verified Given Clause Procedures. 29th International Conference on Automated Deduction (CADE), Rome, Italy, 01. - 04. Juli 2023. Pientka, Brigitte und Tinelli, Cesare (Hrsg.): In: Automated Deduction – CADE 29, Lecture Notes in Computer Science Bd. 14132 Cham: Springer. S. 61-77 [PDF, 287kB]

Diese Liste wurde am Sat Mar 8 18:38:54 2025 CET erstellt.

Open Access LMU verwendet EPrints 3, das an der School of Electronics and Computer Science der Universität Southampton entwickelt wurde.
Impressum − Datenschutz