Duncan McLean

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

1998

1 Helen Lowe, Alan Bundy, Duncan McLean: The Use of Proof Planning for Co-operative Theorem Proving. J. Symb. Comput. 25(2): 239-261 (1998)

	1998
1		Helen Lowe, Alan Bundy, Duncan McLean: The Use of Proof Planning for Co-operative Theorem Proving. J. Symb. Comput. 25(2): 239-261 (1998)

Coauthor Index