Fast Carry Logic for Digital Computers.

Bruce Gilchrist James H. Pomerene S. Y. Wong

Published in: IRE Trans. Electron. Comput. (1955)

Keyphrases

computer systems
logical framework
multi valued
automated reasoning
three dimensional
modal logic
data sets
neural network
database systems
logic programming
proof theory
database
digital forensics
probability theory
computer technology
knowledge base
information systems
artificial intelligence
databases
real time