Data di Pubblicazione:
2011
Citazione:
NeVer: A Tool for Artificial Neural Networks Verification / Pulina, L., Tacchella, A.. - In: ANNALS OF MATHEMATICS AND OF ARTIFICIAL INTELLIGENCE. - ISSN 1012-2443. - 62:3--4(2011), pp. 403-425. [10.1007/s10472-011-9243-0]
Tipologia CRIS:
1.1 Articolo in rivista
Elenco autori:
Pulina, Luca; Tacchella, A.
Link alla scheda completa:
Pubblicato in: