Integrated reasoning support in system design: design derivation and theorem proving.

Steven D. Johnson Paul S. Miner

Published in: CHARME (1997)

Keyphrases

theorem proving
design process
knowledge representation
data mining
automated reasoning
automatic programming
proof planning