Login / Signup
The operation and logic of the MARK III electronic calculator in view of operating experience.
Glen E. Poorte
Published in:
AIEE-IRE Computer Conference (1951)
Keyphrases
</>
logic programming
logical operations
multiple views
modal logic
automated reasoning
classical logic
information systems
learning curve
defeasible logic
proof theory
real time
material handling
boolean algebra