Inconsistency and Undefinedness in Z - A Practical Guide.

Samuel H. Valentine

Published in: ZUM (1998)

Keyphrases

fuzzy logic
mission critical
management system
classical logic
integrity checking
databases
neural network
machine learning
information retrieval
decision making
three dimensional
data structure
email
information extraction