مؤلف: Guy Avni

الدعم

1 كتب إلكترونية بواسطة Guy Avni

Guy Avni & Mirco Giacobbe: AI Verification
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 was broadly categori …
EPUB
الإنجليزية
DRM
€140.85