Further processing options
1st Workshop on Artificial Intelligence and Formal Verification, Logics, Automata and Synthesis: Rende, Italy, November 19-20, 2019 : co-located with the 18th International Confere...
Saved in:
Authors and Corporations: | , |
---|---|
Other Authors: | Gigante, Nicola [Editor] |
Type of Resource: | E-Book Conference Proceedings |
Language: | English |
published: | |
Series: |
AI*IA series
CEUR workshop proceedings ; vol-2509 |
Subjects: | |
Source: | Verbunddaten SWB Lizenzfreie Online-Ressourcen |
License: |
Loading…