Publications
Export 2 results:
Author Title Type [ Year] Filters: First Letter Of Title is D and Author is Provijn, Dagmar [Clear All Filters]
“Direct Dynamic Proofs For Classical Compatibility”. Logique et Analyse 47: 305–317.
. 2004. “Direct Dynamic Proofs For Compatibility.” . Computer modeling of scientific reasoning: 179–187.
. 2003.