![[höher]](/style/images/multi_up.png)
Eine Ebene höherGruppiert nach:
Dokumententyp
| Veröffentlichungsdatum
Springe zu: Konferenzbeitrag
Anzahl der Publikationen: 1
Konferenzbeitrag
Blanchette, Jasmin 
ORCID: https://orcid.org/0000-0002-8367-0936; Qiu, Qi ORCID: https://orcid.org/0000-0002-8350-2748 und Tourret, Sophie ORCID: 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]
ORCID: https://orcid.org/0000-0002-8367-0936; Qiu, Qi ORCID: https://orcid.org/0000-0002-8350-2748 und Tourret, Sophie ORCID: 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]