On the combination of numeric and symbolic computation for implementation of KBS for process control | IEEE Conference Publication | IEEE Xplore