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:
Loading...