Alvaro Kilkerry Neto

发表

An implementation of a theorem prover in symmetric neural networks

Gerson Zaverucha, Luís Alfredo V. de Carvalho, Alvaro Kilkerry Neto, 1999, IJCNN'99. International Joint Conference on Neural Networks. Proceedings (Cat. No.99CH36339).