A Logic-in-Memory Computer.

Harold S. Stone

Published in: IEEE Trans. Computers (1970)

Keyphrases

computer systems
modal logic
logic programming
automated reasoning
neural network
query processing
memory requirements
computer technology
memory usage
random access memory
knowledge base
memory space
memory size