Further processing options
available via online resource

4th Workshop on Artificial Intelligence and Formal Verification, Logic, Automata, and Synthesis, Udine (Italy), November 28, 2022: hosted by the The 21st International Conference o...

Saved in:

Authors and Corporations: Geatti, Luca (Editor), Sciavicco, Guido (Editor), Umbrico, Alessandro (Editor), Workshop on Artificial Intelligence and Formal Verification, Logic, Automata, and Synthesis Udine (Author)
Other Authors: Geatti, Luca [Editor] • Sciavicco, Guido [Editor] • Umbrico, Alessandro [Editor]
Type of Resource: E-Book Conference Proceedings
Language: English
published:
[Aachen, Germany] [RWTH Aachen] 2022-12-28
Series: AI*IA series
CEUR workshop proceedings ; vol-3311
Subjects:
Source: Verbunddaten SWB
Lizenzfreie Online-Ressourcen
License:
Loading...