| Original language | English |
|---|---|
| Title of host publication | Logical and Computational Aspects of Model-Based Reasoning |
| Publication status | Published - 1 Jan 2002 |
Model-guided proof planning
- S Choi
- , Manfred Kerber
- , L Magnani
- , NJ Nersessian
- , C Pizzi
Research output: Chapter in Book/Report/Conference proceeding › Chapter