Browse by Journal
Group by: Date | Creators Jump to: 2011 Number of items: 1.
2011Pulina, Luca and Tacchella, Armando (2011) NeVer: a tool for artificial neural networks verification. Annals of Mathematics and Artificial Intelligence, Vol. 62 (3-4), p. 403-425. eISSN 1573-7470. Article. |