Title: Colloquium on the Foundations of Mathematics, Mathematical Machines, and Their Applications
First published: 1965
Subjects: Calculators, Computer programming, Computers, Congresses, Logic, Symbolic and mathematical, Machine theory, Mathematical linguistics, Robots, Symbolic and mathematical Logic
LC classification: QA76 .C54 1962