Login / Signup
Alvaro Kilkerry Neto
Publication Activity (10 Years)
Years Active: 1999-1999
Publications (10 Years): 0
</>
Publications
</>
Alvaro Kilkerry Neto
,
Gerson Zaverucha
,
Luís Alfredo Vidal de Carvalho
An implementation of a theorem prover in symmetric neural networks.
IJCNN
(1999)