Katalog der Deutschen Nationalbibliothek
Ergebnis der Suche nach: "Rome"
Treffer 111 von 1245
|
|
| 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 |
Treffer 111 von 1245
Administration
