William Pierce

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

- CSB - MetaPress - Google - Bing - Yahoo

1990

2 William Pierce: Toward Mechanical Methods for Streamlining Proofs. CADE 1990: 351-365

1988

1 Bishop Brock, Shaun Cooper, William Pierce: Analogical Reasoning and Proof Discovery. CADE 1988: 454-468

	1990
2		William Pierce: Toward Mechanical Methods for Streamlining Proofs. CADE 1990: 351-365
	1988
1		Bishop Brock, Shaun Cooper, William Pierce: Analogical Reasoning and Proof Discovery. CADE 1988: 454-468

Coauthor Index

1 Bishop Brock [1]

2 Shaun Cooper [1]