> Detailanzeige

Bobot, François [HerausgeberIn]; Weber, Tjark [HerausgeberIn] ; International Workshop on Satisfiability Modulo Theories 18. 2020 Online

Satisfability Modulo Theories - 18th international workshop, SMT 2020 : online (initially located in Paris, France), July 5-6, 2020 : proceedings

Literatur-
verwaltung

Zur
Merkliste

Lösche von
Merkliste

Per Whatsapp teilen

Schließen

Merkliste



Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
  • Medientyp: E-Book; Konferenzbericht
  • Titel: Satisfability Modulo Theories - 18th international workshop, SMT 2020 : online (initially located in Paris, France), July 5-6, 2020 : proceedings
  • Weitere Titel: Abweichender Titel: SMT 2020: Satisfiability Modulo Theories 2020
  • Beteiligte: Bobot, François [HerausgeberIn]; Weber, Tjark [HerausgeberIn]
  • Erschienen: [Aachen, Germany]: [RWTH Aachen], 2021-04-23
  • Erschienen in: CEUR workshop proceedings ; 2854
  • Umfang: 1 Online-Ressource; Illustrationen
  • Sprache: Englisch
  • Identifikator:
  • Schlagwörter: Konferenzschrift
  • Entstehung:
  • Anmerkungen: "Proceedings of the 18th International Workshop on Satisfiability Modulo Theories, co-located with the 10th International Joint Conference on Automated Reasoning (IJCAR 2020)" - Einstiegsseite der Ressource
    Literaturangaben
  • Zugangsstatus: Freier Zugang
  • Rechte-/Nutzungshinweise: Namensnennung (CC BY)