//
Skip to main content
PRL Project

Knowledge Base of
Publication Publications, Seminar Seminars, & Math Book Math Library

PhD theses from the project are accessible at the NCSTRL web site.

Browse by author | title | year | subject

Filter for: Wilfred Z. Chen

6 results


Seminar TBA
by David A. Basin, David McAllister, Wilfred Z. Chen
May 04, 1993

Publication Tactic-Based Theorem Proving and Knowledge-Based Forward Chaining: An Experiment with Nuprl and Ontic | cite »
by Wilfred Z. Chen
1992

Seminar CADE Practice Talk
by Wilfred Z. Chen
May 12, 1992

Seminar How to Strengthen the Notion of Obvious Step
by Wilfred Z. Chen
October 22, 1991

Seminar TBA
by David A. Basin, David McAllister, Wilfred Z. Chen
April 08, 1988

Seminar TBA
by David A. Basin, David McAllister, Wilfred Z. Chen
October 13, 1987