titoli, abstracts, parole chiave >>>
Browse by Journal
Up a level
Export as [feed] RSS 2.0 [feed] RSS 1.0 [feed] Atom
Group by: Date | Creators
Jump to: 2011
Number of items: 1.

2011

Pulina, 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.

This list was generated on Mon Jul 28 20:29:12 2014 CEST.