A. Nagasaka

According to our database, A. Nagasaka authored at least 1 paper in 1982.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

1982

Comparison of Natural Deduction and Locking Resolution Implementations.

Steven Greenbaum, A. Nagasaka, Paul O'Rorke, David A. Plaisted

Proceedings of the 6th Conference on Automated Deduction, 1982