Powerful Equivalence Checking in the Bank Supply Process.

Giuseppe De Ruvo Antonella Santone Domenico Raucci

Published in: SERVICES (2014)

Keyphrases

information systems
domain knowledge
development process
database
machine learning
artificial intelligence
computer vision
decision trees
three dimensional
expert systems
user interface
process model