R. G. Larkin, H. M. Semarne. Symbolic logic in engineering: I. symbolic logic truth matrices on a computer. In Eric A. Weiss, editor, Preprints of papers presented at the 14th national meeting of the Association for Computing Machinery, ACM 1959, Cambridge, Massachusetts, USA, September 1-3, 1959. ACM, 1959. [doi]
Abstract is missing.