Computational Templates, Neural Network Dynamics, and Symbolic Logic | IEEE Conference Publication | IEEE Xplore