Katalog der Deutschen Nationalbibliothek

Neuigkeiten

Leichte Bedienung, intuitive Suche: Die Betaversion unseres neuen Katalogs ist online! → Zur Betaversion des neuen DNB-Katalogs

 
 

Ergebnis der Suche nach: "Rome"



Treffer 111 von 1245 < < > <



Online Ressourcen
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
< < > <


E-Mail-IconAdministration