#
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