A Diagrammatic Proof Search Procedure as Part of a Formal Approach to Problem Solving
| Title | A Diagrammatic Proof Search Procedure as Part of a Formal Approach to Problem Solving |
| Publication Type | Book Chapter (with title) |
| Authors | Batens, D |
| Secondary Authors | Magnani, L |
| UGent Biblio Link | http://hdl.handle.net/1854/LU-373985 |
|---|---|
| Download PDF |
 (Author PDF) |
UGent Biblio Link:
PDF author (public):