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

Bibliographic Details

Authors and Corporations:	De Benedictis, Riccardo (Editor), Geretti, Luca (Editor), Micheli, Andrea (Editor), Workshop on Artificial Intelligence and Formal Verification, Logics, Automata and Synthesis 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:	Konferenzschrift
Contents/pieces:	17 records
Source:	Verbunddaten SWB Lizenzfreie Online-Ressourcen
License:	Namensnennung 4.0 International (CC BY 4.0)