On the Style of Mechanical Proving.

I. S. W. B. Prasetya

Published in: HUG (1993)

Keyphrases

mechanical design
real time
databases
high quality
cooperative
pattern recognition
relational databases
hidden markov models
end users