Michael Dowell

According to our database, Michael Dowell authored at least 1 paper in 1988.

Collaborative distances:

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

1988

Novel approach to a rule-based general purpose program translator using paramodulation.

Yoshiyasu Takefuji, Michael Dowell

Knowl. Based Syst., 1988