Travelled to:1 × USA
Collaborated with:∅ B.Brock S.Cooper
Talks about:proof (2) streamlin (1) discoveri (1) toward (1) reason (1) method (1) mechan (1) analog (1)
Person: William Pierce
DBLP: Pierce:William
Contributed to:
19901988Wrote 2 papers:
- CADE-1990-Pierce #proving #towards
- Toward Mechanical Methods for Streamlining Proofs (WP), pp. 351–365.
- CADE-1988-BrockCP #proving #reasoning
- Analogical Reasoning and Proof Discovery (BB, SC, WP), pp. 454–468.