Decidability in Pratt's process logics.

Zdzislaw Habasinski

Published in: Mathematical Methods of Specification and Synthesis of Software Systems (1985)

Keyphrases

process model
neural network
case study
image processing
expert systems
artificial neural networks
knowledge representation
expressive power