Leon Shalla

Publication Activity (10 Years)

Years Active: 1966-1967
Publications (10 Years): 0

Publications

Larry Wos, George A. Robinson, Daniel F. Carson, Leon Shalla
The Concept of Demodulation in Theorem Proving. J. ACM 14 (4) (1967)
Leon Shalla
Automatic analysis of electronic digital circuits using list processing. Commun. ACM 9 (5) (1966)