More Advanced and Powerful Proof Tools.

Mark E. Stickel

Published in: IFIP Congress (1989)

Keyphrases

user friendly
management tools
web publishing
machine learning
database
case study
database systems
user interface
design decisions