Design Proof Assistant (Abstract).

Gérard P. Huet

Published in: RTA (1996)

Keyphrases

case study
engineering design
design methodology
information technology
design issues
optimal design
database
genetic algorithm
web services
three dimensional
user interface
low cost
building blocks
design process
knowledge level