Duncan McLean

According to our database, Duncan McLean authored at least 1 paper in 1998.

Collaborative distances:

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

1998

The Use of Proof Planning for Co-operative Theorem Proving.

Helen Lowe, Alan Bundy, Duncan McLean

J. Symb. Comput., 1998