Logical Organization of the PACT I Compiler.

Published in: J. ACM (1956)

Keyphrases

programming language
information systems
real time
knowledge management
probabilistic logic
data sets
image sequences
multiscale
information technology
software systems
business environment
logical reasoning