Travelled to:1 × USA
Collaborated with:∅
Talks about:base (2) knowledg (1) theorem (1) forward (1) tactic (1) experi (1) prove (1) ontic (1) nuprl (1) chain (1)
Person: Wilfred Z. Chen
DBLP: Chen:Wilfred_Z=
Contributed to:
1992Wrote 1 papers:
- CADE-1992-Chen #empirical #knowledge-based #proving #theorem proving
- Tactic-based Theorem Proving and Knowledge-based Forward Chaining: an Experiment with Nuprl and Ontic (WZC), pp. 552–566.