A system for the representation of theorems and proofs.

Marion R. Finley Jr.Evelyne B. Hausen-Tropper

Published in: SIGART Newsl. (1989)

Keyphrases

information systems
multiresolution
expert systems
image representation
real time
machine learning
case study
relational databases
probabilistic model