On Uniformly Constructive and Semiconstructive Formal Systems.

Mauro Ferrari Pierangelo Miglioli Mario Ornaghi

Published in: Log. J. IGPL (2003)

Keyphrases

learning systems
case study
expert systems
knowledge based systems
intelligent systems
complex systems
formal methods
feature selection
image processing