Filter
Sökt på: Sökresultat
Filter
totalt 2 träffar
AI Verification
häftad,
2024,
Engelska,
ISBN 9783031651113
This LNCS volume constitutes the proceedings of the First International Symposium on AI Verification, SAIV 2024, in Montreal, QC, Canada, during July 2024.The scope of the topics …
AI Verification
E-bok,
2024,
Engelska,
ISBN 9783031651120
This LNCS volume constitutes the proceedings of the First International Symposium on AI Verification, SAIV 2024, in Montreal, QC, Canada, during July 2024.The scope of the topics …