Publications
Export 2 results:
Author Title Type [ Year
] Filters: Author is Provijn, Dagmar and First Letter Of Title is P [Clear All Filters]
. 2001. “Pushing The Search Paths In The Proofs. A Study In Proof Heuristics”. Logique et Analyse 44: 113–134.
