Knowledge Base of
Publications,
Seminars,
& 
Math Library
PhD theses from the project are accessible at the NCSTRL web site.
Filter for: Wilfred Z. Chen
6 results
TBA
by David A. Basin, David McAllister, Wilfred Z. Chen
May 04, 1993
Tactic-Based Theorem Proving and Knowledge-Based Forward Chaining: An Experiment with Nuprl and Ontic
| cite »
by Wilfred Z. Chen
1992
CADE Practice Talk
by Wilfred Z. Chen
May 12, 1992
How to Strengthen the Notion of Obvious Step
by Wilfred Z. Chen
October 22, 1991
TBA
by David A. Basin, David McAllister, Wilfred Z. Chen
April 08, 1988
TBA
by David A. Basin, David McAllister, Wilfred Z. Chen
October 13, 1987