D. L. Yarmush

According to our database, D. L. Yarmush authored at least 1 paper in 1974.

Collaborative distances:

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

1974

An Implementation of the Model Elimination Proof Procedure.

S. Fleisig, Donald W. Loveland, A. K. Smiley III, D. L. Yarmush

J. ACM, 1974