> Detailanzeige

Della Monica, Dario [HerausgeberIn]; Pozzato, Gian Luca [HerausgeberIn]; Scala, Enrico [HerausgeberIn] ; Workshop on Artificial Intelligence and Formal Verification, Logics, Automata and Synthesis 3. 2021 Padua; Online

3rd Workshop on Artificial Intelligence and Formal Verification, Logics, Automata and Synthesis, Padua (Italy), September 22, 2021 : hosted by the the Twelfth International Symposium on Games, Automata, Logics, and Formal Verification - GandALF 2021 : 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: 3rd Workshop on Artificial Intelligence and Formal Verification, Logics, Automata and Synthesis, Padua (Italy), September 22, 2021 : hosted by the the Twelfth International Symposium on Games, Automata, Logics, and Formal Verification - GandALF 2021 : proceedings
  • Weitere Titel: Abweichender Titel: OVERLAY 2021: Artificial Intelligence and Formal Verification, Logic, Automata, and Synthesis 2021
    Abweichender Titel: OVERLAY 2021: proceedings of the 3rdWorkshop on Artificial Intelligence and Formal Verification, Logics, Automata and Synthesis, Padua (Italy), September 22, 2021
  • Beteiligte: Della Monica, Dario [HerausgeberIn]; Pozzato, Gian Luca [HerausgeberIn]; Scala, Enrico [HerausgeberIn]
  • Erschienen: [Aachen, Germany]: [RWTH Aachen], 2021-10-17
  • Erschienen in: CEUR workshop proceedings ; 2987
  • Umfang: 1 Online-Ressource; Illustrationen
  • Sprache: Englisch
  • Identifikator:
  • Schlagwörter: Konferenzschrift
  • Entstehung:
  • Anmerkungen: "Due to the unfortunate COVID-19 situation, the event has been held as a hybrid conference, with both physical and virtual participation worldwide." - Vorwort
    Literaturangaben
  • Zugangsstatus: Freier Zugang
  • Rechte-/Nutzungshinweise: Namensnennung (CC BY)