| 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