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