Two-dimensional iterative logic.

Rudd H. Canaday

Published in: AFIPS Fall Joint Computing Conference (1) (1965)

Keyphrases

three dimensional
logic programming
multi dimensional
knowledge base
modal logic
classical logic
predicate logic
computer vision
relational databases
data driven
sound and complete axiomatization
search engine
multi agent
packing problem
asynchronous circuits
propositional dynamic logic