- Calculus.

Published in: CTCS (1985)

Keyphrases

automated deduction
information systems
computer vision
formal language
provably correct
real time
data sets
neural network
real world
information retrieval
decision making
web pages
algebraic structure
computer algebra