An implementation of a theorem prover in symmetric neural networks | IEEE Conference Publication | IEEE Xplore