> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: E-Book; Konferenzbericht Titel: Satisfiability Modulo Theories - 21st International Workshop, SMT 2023 proceedings : Rome, Italy, affiliated with CADE-29, July 5-6, 2023 Weitere Titel: Abweichender Titel: SMT'23: 21st International Workshop on Satisfiability Modulo Theories, July 5-6, 2023, Rome, Italy Abweichender Titel: SMT 2023: Satisfiability Modulo Theories 2023 Beteiligte: Graham-Lengrand, Stéphane [Herausgeber:in]; Preiner, Mathias [Herausgeber:in] Erschienen: [Aachen, Germany]: [RWTH Aachen], 2023-07-01 Erschienen in: CEUR workshop proceedings ; 3429 Umfang: 1 Online-Ressource; Illustrationen Sprache: Englisch Identifikator: Schlagwörter: Konferenzschrift Entstehung: Anmerkungen: Literaturangaben Zugangsstatus: Freier Zugang Rechte-/Nutzungshinweise: Namensnennung (CC BY)