William Pierce

List of publications from the DBLP Bibliography Server - FAQ

Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - 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]