Title: Additional papers presented at the Symposium on Symbolic and Algebraic Manipulation, March 29-31, 1966, Washington, D.C
First published: 1966
Subjects: Congresses, Data processing, Logic, Symbolic and mathematical, Mathematical notation, Symbolic and mathematical Logic