Browse by Journal
Group by: Date | Creators Jump to: P Number of items: 1.
PPulina, 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. |



