Design and development of ENprover, an automated theorem proving system based on EN-strategy.

Fabio Baj Massimo Bruschi Antonella Zanzi

Published in: DISCO (1990)

Keyphrases

automated theorem proving
design process
software design
case study
conceptual design
design principles
engineering design
product design
knowledge based systems
design tools
support systems
knowledge representation
design theory
development process
software engineering
systems development
probability distribution