TY - BOOK AU - Kohavi, Zvi AU - Paz, Azaria ED - Tecnnion-Israel Institute of Technology ED - International Symposium on the Theory of Machines and Computations TI - Theory of machines and computations: proceedings U1 - 629.89 PY - 1971/// CY - New York PB - Academic Press KW - Sequential machine theory - Congresses KW - Formal languages - Congresses KW - Switching theory - Congresses KW - Numerical calculation - Congresses ER -