AI Verification First International Symposium, SAIV 2024, Montreal, QC, Canada, July 22–23, 2024, Proceedings /
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 categorized into two groups. The first group, formal methods for artificial intelligence, comprised: formal...
I tiakina i:
| Kaituhi rangatōpū: | |
|---|---|
| Ētahi atu kaituhi: | , , , , , , |
| Hōputu: | Tāhiko īPukapuka |
| Reo: | Ingarihi |
| I whakaputaina: |
Cham :
Springer Nature Switzerland : Imprint: Springer,
2024.
|
| Putanga: | 1st ed. 2024. |
| Rangatū: | Lecture Notes in Computer Science,
14846 |
| Ngā marau: | |
| Urunga tuihono: | https://doi.org/10.1007/978-3-031-65112-0 |
| Ngā Tūtohu: |
Tāpirihia he Tūtohu
Kāore He Tūtohu, Me noho koe te mea tuatahi ki te tūtohu i tēnei pūkete!
|
E whakatikahia ana te pūnaha
E whakatikahia ana tā mātou Pūnaha Whakahaere Whare Pukapuka i tēnei wā.
Kāore e wātea ana i tēnei wā ngā mōhiohio puringa me te wāteatanga. E tuku whakapāha ana mātou mēnā ka rarua koe e tēnei, ā, whakapā mai ki te tono āwhina anō: