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