C.-H. Kung

Publication Activity (10 Years)

Years Active: 1985-1985
Publications (10 Years): 0

Publications

C.-H. Kung
High parallelism and a proof procedure I: Theoretical considerations. Decis. Support Syst. 1 (4) (1985)