紀錄類型: |
書目-電子資源
: Monograph/item
|
正題名/作者: |
Bridging the gap between AI and reality/ edited by Bernhard Steffen. |
其他題名: |
first International Conference, AISoLA 2023, Crete, Greece, October 23-28, 2023 : proceedings / |
其他題名: |
AISoLA 2023 |
其他作者: |
Steffen, Bernhard. |
團體作者: |
AISoLA (Conference) |
出版者: |
Cham :Springer Nature Switzerland : : 2024., |
面頁冊數: |
xiii, 456 p. :ill., digital ;24 cm. |
內容註: |
Verification meets Learning and Statistics -- Nature of AI-Based Systems -- Safety Verificatio of DNNs -- AI Assisted Programming. |
Contained By: |
Springer Nature eBook |
標題: |
Artificial intelligence - Congresses. - |
電子資源: |
https://doi.org/10.1007/978-3-031-46002-9 |
ISBN: |
9783031460029 |