Design Issues for a Computer-aided Environment for Constructive Mathematics (Abstract).

Gérard P. Huet

Published in: DISCO (1990)

Keyphrases

computer aided
design issues
computer assisted
design decisions
image analysis
computer aided diagnosis
computer aided design
usability issues
diagnosis of breast cancer
capsule endoscopy
hardware software partitioning
cad systems
early diagnosis
fault tree
process planning
trade off
computer vision
neural network