A. Nagasaka

Publication Activity (10 Years)

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

Publications

Steven Greenbaum, A. Nagasaka, Paul O'Rorke, David A. Plaisted
Comparison of Natural Deduction and Locking Resolution Implementations. CADE (1982)