Login / Signup
P. Baracos
Publication Activity (10 Years)
Years Active: 1989-1989
Publications (10 Years): 0
</>
Publications
</>
Louis J. Vroomen
,
Paul J. Zsombor-Murray
,
P. Baracos
,
Robert D. Hudson
Comments on "Algorithmic State Machine Design and Automatic Theorem Proving: Dual Approaches to the Same Activity".
IEEE Trans. Computers
38 (6) (1989)