A Note on Interactive Theorem Proving with Theorem Continuation Functions.

Ching-Tsun Chou

Published in: TPHOLs (1992)

Keyphrases

interactive theorem proving
pattern recognition
multi valued
databases
real world
artificial intelligence
information systems
image processing
high quality
object recognition
data model
mathematical functions