| Record Type: |
Electronic resources
: Monograph/item
|
| Title/Author: |
Bridging the gap between AI and reality/ edited by Bernhard Steffen. |
| Reminder of title: |
first International Conference, AISoLA 2023, Crete, Greece, October 23-28, 2023 : proceedings / |
| remainder title: |
AISoLA 2023 |
| other author: |
Steffen, Bernhard. |
| corporate name: |
AISoLA (Conference) |
| Published: |
Cham :Springer Nature Switzerland : : 2024., |
| Description: |
xiii, 456 p. :ill., digital ;24 cm. |
| [NT 15003449]: |
Verification meets Learning and Statistics -- Nature of AI-Based Systems -- Safety Verificatio of DNNs -- AI Assisted Programming. |
| Contained By: |
Springer Nature eBook |
| Subject: |
Artificial intelligence - Congresses. - |
| Online resource: |
https://doi.org/10.1007/978-3-031-46002-9 |
| ISBN: |
9783031460029 |