William Pierce

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C

Ask others: ACM DL/Guide -

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

Coauthor Index

1	Bishop Brock	[c1]
2	Shaun Cooper	[c1]

Last update Wed May 22 06:00:56 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page