This is our Philippines store.

Looks like you're in United States. You need a Philippines address to shop on our Philippines store. Go to our United States store to continue.

Go to United States StoreChoose another store
Skip to main content
AI Verification - First International Symposium, SAIV 2024, Montreal, QC, Canada, July 22–23, 2024, Proceedings eBook by

AI Verification

First International Symposium, SAIV 2024, Montreal, QC, Canada, July 22–23, 2024, Proceedings

Guy Avni,Mirco Giacobbe,Taylor T. Johnson,Guy Katz,Anna Lukina,Nina Narodytska,Christian Schilling
Springer Nature Proceedings Computer Science

Synopsis

Categories

About this book

  • Language:English
  • ISBN:9783031651120
  • Release date:Jul 16, 2024
  • Publisher:Springer Nature Switzerland
  • Imprint:Springer
  • File format:EPUB3
  • File size:17.54 MB
  • Download options:EPUB3 (Adobe DRM)

In this series

Skip this list

AI Verification

Guy Avni,Christian Schilling