Computer-Assisted Proofs in Analysis and Programming in Logic: A case Study.

Hans Koch Alain Schenkel Peter Wittwer

Published in: SIAM Rev. (1996)

Keyphrases

computer assisted
image analysis
statistical analysis
computer aided
machine learning
feature extraction
data analysis
programming language
image processing
pattern recognition
modal logic
test bed
computer assisted instruction
foreign language
grade students