AI Verification
Third International Symposium, SAIV 2026, Lisbon, Portugal, July 24-25, 2026, Proceedings
Autor:
Guy Avni, Christian Schilling
Dostupnost:
Skladem u dodavatele v malém množství
Odesíláme za 13-18 dnů
1 766
Kč
This book constitutes the refereed proceedings of the Third International Symposium on AI Verificati...
