Logique et Analyse
| Title | Pushing the Search Paths in the Proofs. A Study in Proof Heuristics |
| Publication Type | Journal Article |
| Authors | Batens, D, Provijn, D |
| UGent Biblio Link | http://hdl.handle.net/1854/LU-290834 |
|---|
UGent Biblio Link:
| Title | Pushing the Search Paths in the Proofs. A Study in Proof Heuristics |
| Publication Type | Journal Article |
| Authors | Batens, D, Provijn, D |
| UGent Biblio Link | http://hdl.handle.net/1854/LU-290834 |
|---|