BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Pierce:William

Contributed to:

CADE 19901990
CADE 19881988

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.