Katalog der Deutschen Nationalbibliothek
Ergebnis der Suche nach: "Rome"
![]() |
|
Link zu diesem Datensatz | https://d-nb.info/1345519516 |
Titel | A more pragmatic CDCL for IsaSAT and targetting LLVM (short paper) |
Person(en) |
Fleury, Mathias (Verfasser) Lammich, Peter (Verfasser) |
Verlag | Freiburg : Universität |
Zeitliche Einordnung | Erscheinungsdatum: 2024 |
Umfang/Format | Online-Ressource (pdf) |
Persistent Identifier |
URN: urn:nbn:de:bsz:25-freidok-2566611 DOI: 10.1007/978-3-031-38499-8_12 |
URL | https://freidok.uni-freiburg.de/data/256661 (kostenfrei zugänglich) |
Sprache(n) | Englisch (eng) |
Anmerkungen | Automated deduction – CADE 29 : 29th International Conference on Automated Deduction, Rome, Italy, July 1–4, 2023, Proceedings. - Cham : Brigitte Pientka, Cesare Tinelli (Hrsg., u.a.), 2023. - 207-219, ISBN: 978-3-031-38498-1 |
Sachgruppe(n) | 800 Literatur, Rhetorik, Literaturwissenschaft |
Online-Zugriff | Archivobjekt öffnen |
