Symbolic Integration of Neural Classificators