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