Login / Signup
The symbolic computation laboratory at UIUC.
John W. Gray
Published in:
SIGSAM Bull. (1987)
Keyphrases
</>
automated deduction
high level
imperative programs
real time
image processing
expert systems
relational databases