Login / Signup
An Abstract Machine for Symbolic Computation.
D. L. Overheu
Published in:
J. ACM (1966)
Keyphrases
</>
abstract machine
data model
automated deduction
imperative programs
artificial intelligence
database systems
data warehouse
activity recognition
partial order