Further processing options
available via online resource

2nd Workshop on Artificial Intelligence and Formal Verification, Logics, Automata and Synthesis, September 25, 2020: hosted by the Bolzano Summer of Knowledge 2020 : proceedings

Saved in:

Authors and Corporations: De Benedictis, Riccardo (Editor), Geretti, Luca (Editor), Micheli, Andrea (Editor), Workshop on Artificial Intelligence and Formal Verification, Logics, Automata and Synthesis 2. 2020 Online (Author)
Other Authors: De Benedictis, Riccardo [Editor] • Geretti, Luca [Editor] • Micheli, Andrea [Editor]
Type of Resource: E-Book Conference Proceedings
Language: English
published:
[Aachen, Germany] [RWTH Aachen] 2020-12-21
Series: AI*IA series
CEUR workshop proceedings ; vol-2785
Subjects:
Contents/pieces: 17 records
Source: Verbunddaten SWB
Lizenzfreie Online-Ressourcen
License:
Description
Item Description: "Due to the ongoing health crysis, OVERLAY 2020 has been a totally online event." - OVERLAY 2020-Homepage
Literaturangaben
Physical Description: 1 Online-Ressource; Diagramme
Access: Open Access