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